𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - A symbolic labelled transition system for coinductive subtyping of F/sub μ≤/ types

✍ Scribed by Jeffery, A.

Book ID: 126648865
Publisher: IEEE Comput. Soc
Year: 2001
Weight: 691 KB
Category: Article
ISBN-13: 9780769512815
DOI: 10.1109/LICS.2001.932508

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 16th Annual IEEE Sympo

[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - On definability of order in logic with choice

✍ Huuskonen, T.; Hyttinen, T. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 560 KB

[IEEE Comput. Soc 16th Annual IEEE Sympo

[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - Semistructured data: from practice to theory

✍ Abiteboul, S. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 664 KB

[IEEE Comput. Soc 16th Annual IEEE Sympo

[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - Light affine lambda calculus and polytime strong normalization

✍ Terui, K. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 869 KB

[IEEE Comput. Soc 16th Annual IEEE Sympo

[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - Probabilistic polynomial-time process calculus and security protocol analysis

✍ Mitchell, J.; Ramanathan, A.; Scedrov, A.; Teague, V. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 266 KB

[IEEE Comput. Soc. Press 11th Annual IEE

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - Reduction-free normalisation for a polymorphic system

✍ Altenkirch, T.; Hofmann, M.; Streicher, T. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 763 KB

[IEEE Comput. Soc. Press 11th Annual IEE

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - Decision problems for semi-Thue systems with a few rules

✍ Matiyasevich, Y.; Senizergues, G. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 622 KB