Cálculo Lambda

Cálculo Lambda (21) Lógica matemática (5) Demostración, Teoría de la (4) Lógica simbólica y matemática (4) Programación funcional (4) Lambda calculus (2) Logic, Symbolic and mathemati… (2) Lógica simbólica -- matemática (2) Computer Science (1) Cálculo matemático (1) Cálculo numérico (1) Electronic Data Processing (1) Grupos de homotopia (1) Génie logiciel (1) Informatique (1) Lambda-calcul (1) Lenguajes de programación fun… (1) Logic design (1) Logica simbolica e matematica… (1) Logics and Meanings of Progra… (1) Logique symbolique et mathéma… (1) Lógica combinatoria (1) Mathematical Logic and Founda… (1) Models and Principles (1) Programación funcional (Compu… (1) Programación funcional (Infor… (1) Programming Techniques (1) Software Engineering (1) Software Engineering/Programm… (1) Structure logique (1) Teoría de la demostración (1) Tipos De Datos Abstractos (Co… (1)

Contributor

Barendregt, Hendrik Pieter (5) Barendregt, H. P. (3) Crossley, John Newsome (3) Poernomo, Iman Hafiz (3) Wirsing, Martin (3) Barendregt, H. P., (Hendrik P… (2) Révész, György E. (2) Statman, Richard (2) Alessi, Fabio (1) Barendregt, Hendrik P. (1) Barendregt, Henk (1) Curien, Pierre-Louis (1) Dekkers, R. Will (1) Dekkers, Wil (1) Michaelson, Greg (1) Simmons, Harold (1) Tangora, Martin C. (1)

Publisher

North-Holland (8) Cambridge University Press (4) Elsevier (2) Springer Science+Business Med… (2) Addison-Wesley (1) American mathematical sciety (1) Cambridge Univertity Press (1) Société Mathématique de France (1) Springer (1)

Year

2013 (2) 2009 (1) 2005 (3) 2004 (1) 2000 (1) 1998 (1) 1989 (2) 1985 (4) 1984 (4) 1981 (1)

Clear filters

Books

Account

Cálculo Lambda

Interactive models of computation and program vehavior

Computing the homology of the lambda algebra

Lambda-calculus, combinators, and functional programming

Lambda-calculus, combinators, and functional programming

The lambda calculus: its syntax and semantics

The lambda calculus: its syntax and semantics

The lambda calculus: its syntax and semantics

The lambda calculus

The lambda calculus: its syntax and semantics

The lambda calculus: its syntax and semantics

The lambda calculus: its syntax and semantics

An introduction to functional programming through Lambda calculus

Lambda calculus with types

Lambda calculus with types

The lambda calculus: its syntax and semantics

The lambda calculus: its syntax and semantics

The lambda calculus: its syntax and semantics

Derivation and computation: taking the Curry-Howard correspondence seriously …

Adapting Proofs-as-Programs

Adapting Proofs-as-Programs: The Curry-Howard Protocol

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

Wajib Dimiliki Pelajar

5 Reasons Why Breakfast Is The Most Important Meal of The Day