41 treff

lambdakalkyle
Abstrakte datatyper og λ-kalkyle
Øyvind Bolme Fredriksen
Bok Bokmål 1990 · Vis mer
The clausal theory of types
Wolfram, D. A.
Bok Engelsk 1993 · Vis mer
Abstract computing machines : a lambda calculus perspective
Kluge, Werner
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver
Lambda calculus with types
Barendregt, Henk.
Bok Språk ikke angitt 2013 · Vis mer
The parametric lambda calculus : a meta-model for computation
Ronchi Della Rocca, S.
Bok Engelsk 2004 · Vis mer
Object-oriented programming : a unified foundation
Giuseppe Castagna
Bok Engelsk 1997 · Vis mer
The lambda calculus : its syntax and semantics
H. P. Barendregt
Bok Engelsk 1981 · Vis mer
Vis flere utgaver
Vis flere utgaver
The π-calculus : a theory of mobile processes
Davide Sangiorgi, David Walker
Bok Engelsk 2001 · Vis mer
Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 2003 · Vis mer
Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 2001 · Vis mer
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 1999 · Vis mer
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 1997 · Vis mer
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 1995 · Vis mer
Typed lambda calculi and applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1933, Utrecht, The Netherlands : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 1993 · Vis mer
Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1999 · Vis mer
Lambda-calculus and combinators : an introduction
J. Roger Hindley, Jonathan P. Seldin
Bok Engelsk 2008 · Vis mer
Solving higher-order equations : from logic to programming
Christian Prehofer
Bok Engelsk 1998 · Vis mer
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1997 · Vis mer
Computer science logic : 10th international workshop, CSL'96 : annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1997 · Vis mer
Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings
PLILP '96
Bok Engelsk 1996 · Vis mer
Theoretical aspects of computer software : third international symposium, TACS'97, Sendai, Japan, September 23-26, 1997 : proceedings
International Conference TACS
Bok Engelsk 1997 · Vis mer
Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
TPHOLs '97
Bok Engelsk 1997 · Vis mer
Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings
V. Chandru, V. Vinay (eds.)
Bok Engelsk 1996 · Vis mer
Algebraic and logic programming : 5th international conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1996 · Vis mer
Types in logic programming
edited by Frank Pfenning
Bok Engelsk 1992 · Vis mer
Language in action : categories, lambdas and dynamic logic
Johan van Benthem
Bok Engelsk 1991 · Vis mer
Proofs and types
Jean-Yves Girard, Yves Lafont, Paul Taylo...
Bok Engelsk 1989 · Vis mer
Automata and computability
Kozen, Dexter
Bok Engelsk 1997 · Vis mer
ML for the working programmer
Paulson, Lawrence C.
Bok Engelsk 1991 · Vis mer
Vis flere utgaver
Vis flere utgaver
The calculi of lambda-conversion
by Alonzo Church
Bok Engelsk 1951 · Vis mer