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