Constructive Foundations for Functional Languages

Contributor(s):

Turner Raymond

Material type:

TextPublication details: Mcgraw Hill Book Company, 1991Description: 276ISBN:

77074114

Summary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
Books	MC Athens Campus Library	005.13 TUR (Browse shelf(Opens below))	2	Available	9780000011657

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.

There are no comments on this title.

to post a comment.

Κατάλογος Βιβλιοθηκών Mediterranean College

Constructive Foundations for Functional Languages