Séminaire,
5 février 2015
Jörg Endrullis (Vrije Universiteit Amsterdam), Clocked lambda-calculus
Programme
- 5 février 2015, 10:30 - 12:00
Résumé
(This talk will be given in room B1, fourth floor)
(This talk will be given in room B1, fourth floor)