Sciweavers

TYPES
1993
Springer

Type Theory and the Informal Language of Mathematics

14 years 3 months ago
Type Theory and the Informal Language of Mathematics
Aarne Ranta
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Where TYPES
Authors Aarne Ranta
Comments (0)