Sciweavers

TYPES
2007
Springer

Working with Mathematical Structures in Type Theory

14 years 5 months ago
Working with Mathematical Structures in Type Theory
Claudio Sacerdoti Coen, Enrico Tassi
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where TYPES
Authors Claudio Sacerdoti Coen, Enrico Tassi
Comments (0)