|
|
Proofs and types di J-Y. Girard, Y Lafont e P Taylor, CUP, 1990, pp.1-21 e 28-41.
Testi di riferimento:
Basic proof theory di A.Troelstra e H. Schwichtenberg, CUP, 2000
Structural proof theory di S.Negri e J.von Plato, CUP, 2001.
Questi testi sono disponibili in biblioteca sullo scaffale dedicato alla didattica.
PAGINA IN COSTRUZIONE
|
|