Constructive Foundations for Functional Languages 

 -  Mcgraw Hill Book Company,  1991 
 - 276 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>77074114