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)