✦ LIBER ✦

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 145 || Inconsistencies of pure LISP

✍ Scribed by Cremers, Armin B.; Kriegel, Hans-Peter

Book ID: 111900095
Publisher: Springer-Verlag
Year: 1982
Weight: 504 KB
Category: Article
DOI: 10.1007/bfb0009637

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 104 || Robust balancing in B-trees

✍ Deussen, Peter 📂 Article 📅 1981 🏛 Springer Berlin Heidelberg ⚖ 739 KB

[Lecture Notes in Computer Science] EURO

[Lecture Notes in Computer Science] EUROCAL '85 Volume 203 || Current developments in LISP

✍ Buchberger, Bruno 📂 Article 📅 1985 🏛 Springer Berlin Heidelberg ⚖ 743 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 104 || Concurrency and automata on infinite sequences

✍ Deussen, Peter 📂 Article 📅 1981 🏛 Springer-Verlag ⚖ 816 KB

[Lecture Notes in Computer Science] Comb

[Lecture Notes in Computer Science] Combinatorics and Computer Science Volume 1120 || Contiguity orders

✍ Deza, Michel; Euler, Reinhardt; Manoussakis, Ioannis 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 690 KB

[Lecture Notes in Computer Science] Euro

[Lecture Notes in Computer Science] Eurocal '87 Volume 378 || Application of a structured LISP system to computer algebra

✍ Davenport, James H. 📂 Article 📅 1989 🏛 Springer Berlin Heidelberg ⚖ 626 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Logic programming in Tau Categories

✍ Pacholski, Leszek; Tiuryn, Jerzy 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 836 KB

Subtyping With Singleton Types / David Aspinall -- A Subtyping For The Fisher-honsell-mitchell Lambda Calculus Of Objects / Viviana Bono And Luigi Liquori -- The Girard Translation Extended With Recursion / Torben Brauner -- Decidability Of Higher-order Subtyping With Intersection Types / Adriana B.