| 000 | 00873cam a22001934a 4500 | ||
|---|---|---|---|
| 005 | 20250605164000.0 | ||
| 008 | 250528s ||||||||||||||||||||||||d | ||
| 035 | _a15596 | ||
| 020 | _a77074114 | ||
| 040 |
_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2 |
||
| 245 | 1 | _aConstructive Foundations for Functional Languages | |
| 260 |
_bMcgraw Hill Book Company, _c1991 |
||
| 300 | _a276 | ||
| 520 | _aAn introduction to the axiomatic foundations of functional programming languages. Preface, The Intuitionistic Predicate Calculus, The Lambda Calculus, Partiality and Termination, A Simple Theory of Types, Constructive Type Theories, Structural Inductive Types, Polymorphism and Abstract Data Types, Realizability, Negative Realizability, Program Syntesis, Afterthoughts, References, Index. | ||
| 700 | 1 |
_aTurner Raymond _91561 |
|
| 942 | _cBK | ||
| 999 |
_c1166 _d1166 |
||