𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study

✍ Scribed by Geuvers, H.; Werner, B.

Book ID: 126689888
Publisher: IEEE Comput. Soc. Press
Year: 1994
Weight: 941 KB
Edition: 9
Category: Article
ISBN-13: 9780818663109
DOI: 10.1109/LICS.1994.316057

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press Ninth Annual IE

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - Rewrite techniques for transitive relations

✍ Bachmair, L.; Ganzinger, H. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 923 KB

[IEEE Comput. Soc. Press Ninth Annual IE

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - Linear logic, totality and full completeness

✍ Loader, R. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 505 KB

[IEEE Comput. Soc. Press Ninth Annual IE

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - Reflexive graphs and parametric polymorphism

✍ Robinson, E.P.; Rosolini, G. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 686 KB

[IEEE Comput. Soc. Press Ninth Annual IE

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - On strong stability and higher-order sequentiality

✍ Colson, L.; Ehrhard, T. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 514 KB

[IEEE Comput. Soc. Press Ninth Annual IE

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - Semantics of meta-logic in an algebra of programs

✍ Brogi, A.; Turini, F. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 783 KB

[IEEE Comput. Soc. Press Fifth Annual IE

[IEEE Comput. Soc. Press Fifth Annual IEEE Symposium on Logic in Computer Science - Philadelphia, PA, USA (4-7 June 1990)] [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science - Completeness for typed lazy inequalities

✍ Cosmadakis, S.S.; Meyer, A.R.; Riecke, J.G. 📂 Article 📅 1990 🏛 IEEE Comput. Soc. Press ⚖ 642 KB