Advertisement
Search Results
Showing results for "Lambda Calculus"
An Introduction to Functional Programming Through Lambda Calculus
Lambda-Calculus and Combinators: An Introduction
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 4) (Volume 0)
Lambda Calculus with Types (Perspectives in Logic)
Introduction to Lambda Calculus
Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
Introduction to Combinators and (lambda) Calculus (London Mathematical Society Student Texts, Series Number 1)
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Lecture Notes on the Lambda Calculus
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
The Logic, Philosophy, and History of the Lambda-Calculus: Theory and Applications (History of Analytic Philosophy)
Lambda-Calculus, Types and Models (Ellis Horwood Series in Computers & Their Applications)
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
A++ and the Lambda Calculus: Principles of Functional Programming
A Concise Note on Lambda Calculus (Functional Programming Book 1)
History of Lambda-calculus and Combinatorial Logic
Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
