Séminaire,
Feb. 5, 2015
Jörg Endrullis (Vrije Universiteit Amsterdam), Clocked lambda-calculus
Schedule
- Feb. 5, 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)