Cover Image

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

Similar Items

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Published: (2001)

Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings /
Published: (2006)

New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 ; proceedings /
Published: (2005)

Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings /
Published: (1995)

Computability theory /
by: Cooper, S. B. (S. Barry)
Published: (2004)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
Published: (1975)

Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)

Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 /
Published: (1979)

Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings /
Published: (2006)

Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /
Published: (2005)

Computability theory: an introduction
by: Jones, Neil D.
Published: (1973)

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /
Published: (1983)

Computable structures and the hyperarithmetical hierarchy /
by: Ash, C. J.
Published: (2000)

Randomness and completeness in computational complexity /
by: Melkebeek, Dieter van
Published: (2000)

Complexity theory of real functions /
by: Ko, Ker-I
Published: (1991)

Pi and the AGM : a study in analytic number theory and computational complexity /
by: Borwein, Jonathan M.
Published: (1987)

Automata and computability /
by: Kozen, Dexter, 1951-
Published: (1997)

Handbook of computability theory /
Published: (1999)

The lambda calculus : its syntax and semantics /
by: Barendregt, H. P. (Hendrik Pieter)
Published: (1984)

Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings /
Published: (1996)

A course of pure mathematics /
by: Hardy, G. H. (Godfrey Harold), 1877-1947
Published: (1992)

Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings /
Published: (1988)

Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings /
Published: (2000)

Algorithms and computations : 6th international symposium, ISAAC ʼ95, Cairns, Australia, December 1995 : proceedings /
Published: (1995)

An introduction to quantum computing for computer engineers /
by: Edwards, Marcus Stephen
Published: (2026)

Edinburgh castle : [official guide] /
by: Richardson, J. S. (James Smith)
Published: (1953)

Edinburgh castle /
by: Fawcett, Richard, 1946-
Published: (1980)

Minutes and proceedings of the Chamber of Commerce and Manufactures at Edinburgh.
Published: (1788)

Report of the committee : to whom it was remitted to suggest a plan for affording relief to the labouring classes in the city and suburbs /
Published: (1816)

Recursion on the countable functionals /
by: Normann, Dag, 1947-
Published: (1980)

Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998 : proceedings /
Published: (1998)

Parallel computation : Third International ACPC Conference with special emphasis on parallel databases and parallel I/O, Klagenfurt, Austria, September 23-25, 1996 : proceedings /
Published: (1996)

Astro navigation by pocket computer.
by: Harris, M. J.
Published: (1989)

Abstract of the income and expenditure, &c. of the Edinburgh Charity Work-House, 1833-1834.
Published: (1834)

Abstract of income and expense of Edinburgh Charity Workhouse from 1st July 1842 to 1st July 1843.
Published: (1843)

A relational theory of computing /
by: Sanderson, John G., 1929-
Published: (1980)

Late seventeenth-century Edinburgh : a demographic study /
by: Dingwall, Helen M.
Published: (1994)

An answer to Baillie Smith's Address to the Town Council of Edinburgh /
by: Old magistrate
Published: (1799)

Strictures on the late political conduct of Bailie Smith : in which he is vindicated from the imputation of entertaining views hostile to the interest of Mr. Dundas, and other motives are assigned for his conduct.
by: Civis
Published: (1799)

An answer to Mr. Smith's address : published by authority of the Town Council of Edinburgh.
Published: (1799)