✦ LIBER ✦

[Lecture Notes in Computer Science] Combinators and Functional Programming Languages Volume 242 || Cartesian closed categories and lambda-calculus

✍ Scribed by Cousineau, Guy; Curien, Pierre-Louis; Robinet, Bernard

Book ID: 120300548
Publisher: Springer Berlin Heidelberg
Year: 1986
Weight: 790 KB
Category: Article
ISBN: 3540472533
DOI: 10.1007/3-540-17184-3_43

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1644 || Closed Freyd- and κ-categories

✍ Wiedermann, Jiří; van Emde Boas, Peter; Nielsen, Mogens 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 140 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1644 || Closed Freyd- and κ-categories

✍ Wiedermann, Jiří; van Emde Boas, Peter; Nielsen, Mogens 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 140 KB

This book constitutes the refereed proceedings of the 26th International Colloquium on Automata, Languages and Programming, ICALP'99, held in Prague, Czech Republic, in July 1999. The 56 revised full papers presented were carefully reviewed and selected from a total of 126 submissions; also included

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 7211 || The Call-by-Need Lambda Calculus, Revisited

✍ Seidl, Helmut 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 287 KB

[Lecture Notes in Computer Science] Func

[Lecture Notes in Computer Science] Functional Programming Languages and Computer Architecture Volume 201 || Compiling pattern matching

✍ Jouannaud, Jean-Pierre 📂 Article 📅 1985 🏛 Springer Berlin Heidelberg ⚖ 664 KB

[Lecture Notes in Computer Science] Funt

[Lecture Notes in Computer Science] Funtional Programming Languages in Education Volume 1022 || Functional programming and mathematical objects

✍ Hartel, Pieter H.; Plasmeijer, Rinus 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 949 KB

[Lecture Notes in Computer Science] Func

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 2441 || Lambda-Lifting in Quadratic Time

✍ Hu, Zhenjiang; Rodríguez-Artalejo, Mario 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 251 KB