The Lambda Calculus
H.P Barendregt
₹3,028
Results for “Lambda calculus”
Showing 1–20 of 20 books
The Lambda Calculus
H.P Barendregt
₹8,223
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
₹4,315
Lambda-Calculus and Combinators
J. Roger Hindley, Jonathan P. Seldin
₹4,628
Lambda Calculus with Types by Henk Barendregt – Typed Lambda Calculus Handbook
Henk Barendregt, Wil Dekkers, Richard Statman
₹4,511
A++ and the Lambda Calculus
Georg P. Loczewski
₹1,987
Lambda-calculus, Combinators and Functional Programming
G. E. Revesz
₹3,850
Semantics of the Probabilistic Typed Lambda Calculus
Dirk Draheim
₹8,717
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson
₹2,332
From Lambda Calculus to Cybersecurity Through Program Analysis
₹3,925
Domains and Lambda-Calculi
Roberto M. Amadio, Pierre-Louis Curien, Roberto M. Amadio
₹5,404
Typed Lambda Calculi and Applications
Philippe De Groote, J. Roger Hindley
₹5,645
Typed Lambda Calculi and Applications
Luke Ong
₹5,517
Typed Lambda Calculi and Applications
Mariangiola Dezani-Ciancaglini, Gordon Plotkin
₹5,666
Rewriting and Typed Lambda Calculi
Gilles Dowek
₹3,959
Typed Lambda Calculi and Applications
Samson Abramsky
₹4,280
Typed Lambda Calculi and Applications
Masahito Hasegawa
₹3,615
Typed Lambda Calculi and Applications
Martin Hofmann
₹5,613
Typed Lambda Calculi and Applications
Marc Bezem, Jan F. Groote
₹5,663
Abstract Computing Machines
Werner Kluge
₹7,760