15 treff

lambda calculus
The parametric lambda calculus : a meta-model for computation
Ronchi Della Rocca, S.
Bok Engelsk 2004 · Vis mer
Lambda-calculus, types and models
J.L. Krivine ; translated by René Cori
Bok Engelsk 1993 · Vis mer
Domains and Lambda-calculi
Roberto M. Amadio, Pierre-Louis Curien
Bok Engelsk 1998 · Vis mer
Lambda-calculus, combinators, and functional programming
Révész, György E.
Bok Engelsk 1988 · 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
Language in action : categories, lambdas and dynamic logic
Johan van Benthem
Bok Engelsk 1991 · Vis mer
Lambda calculi : a guide for computer scientists
Chris Hankin
Bok Engelsk 1994 · Vis mer
Language & grammar : studies in mathematical linguistics and natural language
edited by C. Casadio, P.J. Scott, R.A.G. ...
Bok Engelsk 2005 · Vis mer
Derivation and computation : taking the Curry-Howard correspondence seriously
Simmons, Harold.
Bok Engelsk 2000 · Vis mer
Logic Colloquium '82 : proceedings of the Colloquium held in Florence, 23-28 August, 1982
Logic Colloquium
Bok Engelsk 1984 · Vis mer