TY  - BOOK
AU  - Turner Raymond
TI  - Constructive Foundations for Functional Languages
SN  - 77074114
PY  - 1991///
PB  - Mcgraw Hill Book Company
N2  - An 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
ER  -