Constructive Foundations for Functional Languages
Constructive Foundations for Functional Languages
- Mcgraw Hill Book Company, 1991
- 276
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.
77074114
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.
77074114