• Skip to main navigation
  • Skip to main content
  • Skip to footer

Hilbert's 24th Problem

Website of the Research Project on "Hilbert's 24th Problem" funded by the Portuguese Science Foundation (PTDC/MHC-FIL/2583/2014)

Complementos de Lógica

Complementos de Lógica

Course in the PhD progamme of DM, FCT, UNL.

Time: Thursday, 13h-14h
Location: to be defined

Topic: Linear Logic

Primery Reference:
Mitsuhiro Okada: An Introduction to Linear Logic: Expressiveness and Phase Semantics

 

Skip back to main navigation

Website of the Research Project on "Hilbert's 24th Problem" funded by the Portuguese Science Foundation (PTDC/MHC-FIL/2583/2014)

© 2026 Hilbert's 24th Problem | Using Modern WordPress theme. | Back to top ↑