Статья Хенка Барендрегта, опубликованная в Joual 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.