An Introduction to Functional Programming Through Lambda Calculus. /

QR Code

An Introduction to Functional Programming Through Lambda Calculus. /

Bibliographic Details
Main Author:	Michaelson, Greg
Format:	Book
Language:	English
Published:	New York : Dover Publications, 2011.
Subjects:	Informática Programación Cálculo Cálculo lambda Lenguaje computacional Computación Aritmética Árboles binarios Libros electrónicos

Similar Items

An introduction to Lambda Calculi for computer scientists. Volume 2 /
by: Hankin, Chris
Published: (2004)

Types and programming languages /
by: Pierce, Benjamin C.
Published: (2002)

Calculus /
by: Spivak, Michael
Published: (2008)

Algoritmos y estructuras de datos /
by: Tymoschuk, J.
Published: (2020)

Estructuras de datos y métodos algorítmicos : 213 ejercicios resueltos /
by: Martí Oliet, Narciso
Published: (2013)

Algoritmos y estructuras de datos : con programas verificados en Dafny /
by: Peña-Marí, Ricardo,
Published: (2023)

Introduction to programming using Python /
by: Liang, Y. Daniel
Published: (2017)

Programming and problem solving with C++ /
by: Dale, Nell
Published: (2010)

The secret life of programs : understand computers - craft better code /
by: Steinhart, Jonathan E.
Published: (2019)

Combined answer book for calculus Third and Fourth Editions : for use with the third edition of calculus see the Appendix on page 430 /
by: Spivak, Michael
Published: (2008)

Estructuras de datos : especificación, diseño e implementación /
by: Franch-Gutiérrez, Xavier
Published: (2002)

Advanced topics in types and programming languages /
Published: (2005)

Curso de windows word /
by: Díaz-Salcedo, Juan Manuel
Published: (2003)

Calculus I : cáculo con funciones de una variable, con una introducción al álgebra lineal. /
by: Apostol, Tom M.
Published: (1990)

The universal history of computing : from the abacus to the quantum computer /
by: Ifrah, Georges.
Published: (2001)

Calculus II : cálculo con funciones de varias variables y álgebra lineal, con aplicaciones para ecuaciones diferenciales y probabilidad /
by: Apostol, Tom M.
Published: (1990)

How to design programs : an introduction to programming and computing /
Published: (2018)

Lenguaje de programación : diseño e implementación /
by: Pratt, Terrence W.
Published: (1997)

C++ Guía de autoenseñanza /
by: Schilt, Herbert
Published: (1995)

Lógica para informáticos /
Published: (2012)

Computer programming using C language /
by: Ramavtar Yadav, Rajkumar
Published: (2020)

Digital design and fabrication /
Published: (2008)

Beginning Microsoft® SQL Server 2012® Programming /
by: Atkinson P.
Published: (2012)

Agent-based evolutionary search /
Published: (2010)

Kablok : diseño e implementación de un lenguaje aplicativo con variables libres, no determinismo y unificación /
by: Díaz-Oreiro, Ignacio
Published: (1995)

Advances in fuzzy implication functions /
Published: (2013)

Guide to Assembly Language Programming in Linux. /
by: Dandamudi, Sivarama P.
Published: (2005)

Computational complexity : a modern approach /
by: Arora, Sanjeev
Published: (2009)

An outline of mathematical logic : fundamental results and notions explained with all details /
by: Grzegorczyk, Andrzej.
Published: (1974)

Foundations of statistical natural language processing /
by: Manning, Christopher D.
Published: (1999)

Lenguaje icónico orientado a objetos para especificar condiciones en Iyulú /
by: Rodríguez-Cháves, Arnoldo
Published: (1977)

Data structures and algorithm analysis in C++ /
by: Shaffer, Clifford A.
Published: (2011)

The ruby programming language. /
by: Berman, Jules J.
Published: (2009)

Pentesting con Kali 2.0 /
by: González Pérez, Pablo
Published: (2015)

An introduction to fuzzy logic applications in intelligent systems /
Published: (1992)

Database Systems : the complete book /
by: Garcia-Molina, Hector
Published: (2014)

Pro T-SQL 2008 : programmer`s guide.
by: Coles, Michael
Published: (2008)

Java 2 : manual de referencia. /
by: Schildt, Herbert
Published: (2001)

Resolución de problemas con C++ : el objetivo de la programación /
by: Savitch, Walter
Published: (2000)

El Lenguaje de programacion C /
by: Kernighan, Brian W.
Published: (1989)