Edinburgh LCF : a mechanised logic of computation /

Bibliographic Details
Main Authors:	Gordon, Michael J. C., 1948-, Milner, R. (Robin), 1934-2010 (Author), Wadsworth, Christopher P. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1979.
Series:	Lecture notes in computer science ; 78.
Subjects:	Edinburgh LCF (Computer system) Computable functions > Data processing. métalangage. informatique théorique. logique calcul. fonction calcul. Edinburgh LCF. Edinburgh LCF (Système informatique) Fonctions calculables > Informatique. Berechenbarkeit. LISP. Lambda-Kalkül. Programmverifikation. Electronic books.
Online Access:	Connect to the full text of this electronic book

Remote Storage