Introduction to generalized type systems
Barendregt H.P.
Статья Хенка Барендрегта, опубликованная в Journal of Functional Programming 1(2), April 1991.Содержание:Introduction.
A finestructure of the theory of constructions.
Generalized type systems.
Propositions-as-types.
Acknowledgements.
References.
A finestructure of the theory of constructions.
Generalized type systems.
Propositions-as-types.
Acknowledgements.
References.