𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 18th Annual IEEE Symposium on Logic in Computer Science - Ottawa, Ont., Canada (22-25 June 2003)] 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. - Types and programming languages: the next generation

✍ Scribed by Pierce, B.C.

Book ID: 127242278
Publisher: IEEE Comput. Soc
Year: 2003
Weight: 178 KB
Edition: 18
Category: Article
ISBN-13: 9780769518848
DOI: 10.1109/lics.2003.1210042

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 18th Annual IEEE Sympo

[IEEE Comput. Soc 18th Annual IEEE Symposium on Logic in Computer Science - Ottawa, Ont., Canada (22-25 June 2003)] 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. - Logic in access control

✍ Abadi, M. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 228 KB

[IEEE Comput. Soc 18th Annual IEEE Sympo

[IEEE Comput. Soc 18th Annual IEEE Symposium on Logic in Computer Science - Ottawa, Ont., Canada (22-25 June 2003)] 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. - New directions in instantiation-based theorem proving

✍ Ganzinger, H.; Korovin, K. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 360 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 - On definability of order in logic with choice

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

[IEEE Comput. Soc. Press [1993] Eighth A

[IEEE Comput. Soc. Press [1993] Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Que., Canada (19-23 June 1993)] [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science - Type theory and recursion

✍ Plotkin, G.D. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 104 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. Press [1992] Seventh

[IEEE Comput. Soc. Press [1992] Seventh Annual IEEE Symposium on Logic in Computer Science - Santa Cruz, CA, USA (22-25 June 1992)] [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science - Compiler verification in LF

✍ Hannan, J.; Pfenning, F. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 983 KB