Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Combinatory Logic. Pure, Applied and Typed

Main
Science (General)
Combinatory Logic. Pure, Applied and...

Combinatory Logic. Pure, Applied and Typed

Katalin Bimbó

0 / 0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

Categorías:

Science (General)

Año:

2012

Editorial:

CRC

Idioma:

English

Páginas:

349

ISBN 10:

1439800014

ISBN 13:

9781439800010

Archivo:

PDF, 2.39 MB

English, 2012

Leer en línea

Conversión a en curso

La conversión a ha fallado

También le puede interesar

— Combinatory logic. Vol. 1.

Robert Feys, Frederic B. Fitch — Dictionary of Symbols of Mathematical Logic

Jan Willem Klop — Combinatory Reduction Systems [PhD Thesis]

Jan Willem Klop — Combinatory Reduction Systems [PhD Thesis]

Barendregt H., Barendsen E. — Introduction to Lambda Calculus (Введение в лямбда-исчисление)

Corrado Böhm (auth.), Prof. C. Böhm (eds.) — λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

Rhys Price Jones, Fritz Ruehr, Richard Salter — Combinators and Graph Reduction (in Scheme)

Barendregt H., Barendsen E. — Introduction to Lambda calculus

Gordon M — Introduction to functional programming

Paulson L.C. — Foundations of functional programming

Morten Heine Sorensen, Pawel Urzyczyn — Lectures on the Curry-Howard Isomorphism

[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin. — Combinatory logic. / Volume II

Michael J.C. Gordon — Programming Language Theory and Its Implementation

Rene Lalement, John Plaice — Computation as logic

Chris Hankin — Lambda Calculi: A Guide for Computer Scientists

Gerard Huet — Logical Foundations of Functional Programming

John C. Mitchell — Foundations for Programming Languages (Foundations of Computing)

Katalin Bimbo (Author) — Combinatory Logic: Pure, Applied and Typed

Morten Heine Sørensen, Paweł Urzyczyn — Lectures on the Curry-Howard Isomorphism

Hendrik Pieter Barendregt — The Lambda calculus: its syntax and semantics

Antoni Diller — Compiling Functional Languages

Révész, György E — Lambda-calculus, combinators and functional programming

G. E. Revesz — Lambda-calculus, Combinators and Functional Programming

Terese, eds.:, Marc Bezem, Jan Willem Klop, Roel de Vrijer — Term Rewriting Systems

Harold Simmons — Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

J. Roger Hindley, Jonathan P. Seldin — Lambda-calculus and combinators, an introduction

Church, Alonzo — Introduction to Mathematical Logic

R. E. Davis — Truth, Deduction, and Computation: Logic and Semantics for Computer Science (Principles of Computer Science Series)

Haskell B. Curry, Robert Feys, William Craig — Combinatory Logic: Volume I

Katalin Bimbó — Combinatory Logic: Pure, Applied and Typed

Stephen Wolfram — Combinators: A Centennial View

Corrado Böhm (auth.), Prof. C. Böhm (eds.) — λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

J. Diller, G.H. Müller — ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... in Mathematics)

Robin Milner (auth.), Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer (eds.) — Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

Farid Ablayev (auth.), Anil Nerode, Yu. V. Matiyasevich (eds.) — Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings

Términos más frecuentes