Categorical Logic

Relatore:  Thomas Streicher - Technische Universität Darmstadt
  lunedì 2 ottobre 2017 alle ore 13.30 - Aula M, starting date
Parole chiave: categorical semantics, especially regarding type theory; realisability; cartesian closed categories; lambda calculus.

lunedì 2-9 ottobre 14.30-16.30,  Aula G 
martedì 3-10 ottobre 13.30-15.30 Aula M
mercoledì 4-11 ottobre 10.30-12.30 e 16.30-18.30 Aula G

programma quadro: Erasmus+

materiale didattico:

http://www.mathematik.tu-darmstadt.de/~streicher/cmcl.pdf (di base)


http://www.mathematik.tu-darmstadt.de/~streicher/CTCL.pdf (per precisazioni ed approfondamenti)

Referente
Peter Michael Schuster

Data pubblicazione
13 settembre 2017

Offerta formativa