ENGLISH

Introduction to generalized type systems

By Barendregt H.P.

Book information

Language
english
Format
PDF
Filesize
942 kB (964402 bytes)
Pages
\30
Topic
Computers
Library
twirpx
Time added
2017-08-07 07:01:42
Библиотека;Компьютерная литература

Description

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

Similar books