Lambda-calculus, types and models

Main
Lambda-calculus, types and models

Lambda-calculus, types and models

Jean-Louis Krivine, Rene Corvi (translator)

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Έτος:

2011

Έκδοση:

revised

Γλώσσα:

english

Σελίδες:

208

Αρχείο:

PDF, 1.22 MB

IPFS:

,

english, 2011

Διαβάστε online

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

Jean-Louis Krivine, translated by René Cori — Lambda-calculus: types and models

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

— Lambda Calculus 001

Peter Hoffman — The λ-calculus (lambda calculus)

Greg Michaelson — An Introduction to Functional Programming Through Lambda Calculus

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

Greg Michaelson — An Introduction to Functional Programming Through Lambda Calculus

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

Henk Barendregt, Wil Dekkers, Richard Statman — Lambda Calculus with Types

Barendregt & Barendsen — An introduction to lambda calculus

Jean-Louis Krivine — Lambda-Calculus: Types and Models

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

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

Rob Nederpelt, Herman Geuvers — Type Theory and Formal Proof: An Introduction

Henk Barendregt, Wil Dekkers, Richard Statman — Lambda Calculus with Types

Jean Goubault-Larrecq, Barbara König — Foundations of Software Science and Computation Structures

Gilles Dowek (eds.) — Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Christel Baier, Ugo Dal Lago — Foundations of Software Science and Computation Structures

Hubert Comon-Lundh (auth.), Igor Walukiewicz (eds.) — Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings

Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto (auth.), Vladimiro Sassone (eds.) — Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

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

E. Allen Emerson (auth.), Sanjiv Kapoor, Sanjiva Prasad (eds.) — FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: 20th Conference New Delhi, India, December 13–15, 2000 Proceedings

Olivier Danvy (auth.), Samson Abramsky (eds.) — Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.) — Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Luís Caires, Luca Cardelli (auth.), Naoki Kobayashi, Benjamin C. Pierce (eds.) — Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

Natarajan Shankar, Harald Rueß (auth.), Sophie Tison (eds.) — Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings

Susumu Hayashi, Yohji Akama (auth.), Julian Bradfield (eds.) — Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

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

Xavier Leroy (auth.), Franz Baader (eds.) — Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Jacques Duparc, Thomas A. Henzinger — Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Ying Daniel, Linköpings universitet. Matematiska institutionen — On the moduli space of cyclic trigonal Riemann surfaces of genus 4

Marcelo Fiore, Chung-Kil Hur (auth.), Pierre-Louis Curien (eds.) — Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Mikołaj Bojańczyk (auth.), Erich Grädel, Reinhard Kahle (eds.) — Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

Colin Stirling (auth.), Luke Ong (eds.) — Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.) — Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.) — Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.) — Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Φράσεις κλειδιά