Categorical Logic

Speaker:  Thomas Streicher - Technische Universität Darmstadt
  Monday, October 2, 2017 at 2:30 PM - Aula G, 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)

Contact person
Peter Michael Schuster

Publication date
September 13, 2017

Studying