Filter
Søkt på: Bøker av Jonathan Seldin
Filter
totalt 4 treff
Lambda-Calculus and Combinators
innbundet,
2008,
Engelsk,
ISBN 9780521898850
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' …
Lambda-Calculus and Combinators
e-bok,
2008,
Engelsk,
ISBN 9780511410963
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' …
A Primer of Mathematical Analysis and the Foundations of Computation
pocket,
2023,
Engelsk,
ISBN 9781848904439
This book is a different approach to teaching the foundations of mathematical analysis and of computation. The main idea is to delay the use of "formal definitions", which are …
Foundations of Combinatory Logic
pocket,
2017,
Engelsk,
ISBN 9781848902022