✦ LIBER ✦

[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 1130 || The lambda calculus as an abstract data type

✍ Scribed by Haveraaen, Magne; Owe, Olaf; Dahl, Ole-Johan

Book ID: 118185352
Publisher: Springer Berlin Heidelberg
Year: 1996
Weight: 312 KB
Category: Article
ISBN: 3540706429
DOI: 10.1007/3-540-61629-2_37

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 4583 || Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo

✍ Della Rocca, Simona Ronchi 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 387 KB

[Lecture Notes in Computer Science] Rece

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 1589 || Concurrency and Data Types: A Specification Method An Example with LOTOS

✍ Fiadeiro, José Luiz 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 368 KB

The European Conference Situationin The General Area Of Software Science Has Longbeen Considered Unsatisfactory. A Fairlylarge Number Of Small And Medi- Sized Conferences And Workshops Take Place On An Irregular Basis, Competing For High-quality Contributions And For Enough Attendees To Make Them ?n

[Lecture Notes in Computer Science] Stat

[Lecture Notes in Computer Science] Static Analysis Volume 864 || Stackability in the simply-typed call-by-value lambda calculus

✍ Charlier, Baudouin 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 744 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Science and Its Applications - ICCSA 2011 Volume 6783 || On the Use of Satellite Remote Sensing Data to Characterize and Map Fuel Types

✍ Murgante, Beniamino; Gervasi, Osvaldo; Iglesias, Andrés; Taniar, David; Apduhan, 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 138 KB