Sciweavers

57
Voted
TLCA
1993
Springer

Pure Type Systems Formalized

15 years 26 days ago
Pure Type Systems Formalized
James McKinna, Robert Pollack
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Where TLCA
Authors James McKinna, Robert Pollack
Comments (0)