Tag lambda calculus
Tagged Works
8
4
4
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
- The Lambda Calculus: Its Syntax and Semantics by H.P. Barendregt
- An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson
- Lambda Calculi: A Guide for Computer Scientists by Chris Hankin
- Domains and Lambda-Calculi by Roberto M. Amadio
- Term Rewriting Systems by Terese
- An Introduction to Lambda Calculi for Computer Scientists by Chris Hankin
- Lambda-calculus, Combinators and Functional Programming by G. E. Revesz
- Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction by Jean Gallier
- Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011 ; Novi Sad, Serbia, June 1-3, 2011. Proceedings by Luke Ong
- Turing's Vision: The Birth of Computer Science (MIT Press) by Chris Bernhardt
- Lectures on the Curry-Howard Isomorphism by Morten Heine Sørensen
- Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley
- Abstract Computing Machines by Werner Kluge
- Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007 by Simona Ronchi Della Rocca
- Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005 by Paweł Urzyczyn
- Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005 by Geoff Sutcliffe
- Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by Aart Middeldorp
- Representation and Inference for Natural Language: A First Course in Computational Semantics by Patrick Blackburn
- Introduction to combinators and lambda-calculus by J. R. Hindley
- The Calculi of Lambda Conversion by Alonzo Church
Using the Tag
koffieyahoo (10), timcowlishaw (3), nillacat (3), prosfilaes (2), draganigajic (2), bertilak (2), lidaskoteina (2), BalliolLibrary (2), wolfram (1), thisfred (1), peterdmark (1), mfd101 (1), jhevelin (1), billmcn (1), agis (1), mdransfield (1), mkjones (1), updgenref (1), tautologico (1), shijun (1) and 9 other members
Related Series
Aliases and Translations
Includes: lambda calculus, Lambda Calculus, labda calculus, lambda-calculus, Lambda calculus, Lambda-calculus
Translations: Lambda-Kalkül, Cálculo lambda, Lambda-calcul, Lambda račun, Lambda-reikningur, Lambda calcolo, Lambda-kalkulus, Lambdacalculus, Rachunek lambda, Cálculo lambda, Лямбда-исчисление, Lambda kalkul, Lambdakalkyyli, Lambdakalkyl
Google Books Ngram Viewer
Data from Books Ngram Viewer