Sciweavers

TYPES
2007
Springer

In the Search of a Naive Type Theory

15 years 2 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)