𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Computer Science Logic Volume 702 || Comparative transition system semantics

✍ Scribed by Börger, E.; Jäger, G.; Kleine Büning, H.; Martini, S.; Richter, M. M.

Book ID
120394409
Publisher
Springer Berlin Heidelberg
Year
1993
Weight
926 KB
Category
Article
ISBN
3540478906

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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.

[Lecture Notes in Computer Science] Logi
[Lecture Notes in Computer Science] Logic, Language and Meaning Volume 7218 || Polarities in Logic and Semantics
✍ Aloni, Maria; Kimmelman, Vadim; Roelofsen, Floris; Sassoon, Galit W.; Schulz, Ka 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 204 KB

This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 thoroughly refereed and revised contributions out of 137 submissions presented together with 2 invited talks are organized in five sections. The first se