Sciweavers

HOA
1995

Higher-Order Algebra with Transfinite Types

14 years 3 months ago
Higher-Order Algebra with Transfinite Types
L.J. Steggles
L. J. Steggles
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where HOA
Authors L. J. Steggles
Comments (0)