A theory of types, Report 71-3 (1971)

by P Martin-Lf
Results 1 - 1 of 1

A Polymorphic λ-Calculus With Type:Type

by Luca Cardelli , 1986
"... ..."
Abstract - Cited by 11 (0 self) - Add to MetaCart
Abstract not found