Sciweavers

TYPES
2007
Springer

In the Search of a Naive Type Theory

14 years 5 months ago
In the Search of a Naive Type Theory
Agnieszka Kozubek, Pawel Urzyczyn
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where TYPES
Authors Agnieszka Kozubek, Pawel Urzyczyn
Comments (0)