Papers in 2006

[1] David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, and Alwen Tiu. A User Guide to Bedwyr, November 2006. [ bib | .pdf ]
[2] Roberto Di Cosmo and Dale Miller. Linear logic. In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Stanford University, 2006. [ bib | http ]
[3] François Lamarche and Lutz Straßburger. From proof nets to the free *-autonomous category. Logical Methods in Computer Science, 2(4:3):1-44, 2006. [ bib | http ]
[4] Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon Peyton-Jones, Murali Sitaraman, Douglas R. Smith, and Aaron Stump. Roadmap for enhanced languages and methods to aid verification. In Fifth International Conference on Generative Programming and Component Engineering (GPCE), pages 221-235. ACM, October 2006. [ bib ]
[5] Dale Miller. Collection analysis for Horn clause programs. In Proceedings of PPDP 2006: 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 179-188, July 2006. [ bib | .ps | .pdf ]
[6] Dale Miller. Logic and logic programming: A personal account. ALP Newsletter, February 2006. Vol. 19, No. 1. [ bib | .pdf ]
[7] Dale Miller. Representing and reasoning with operational semantics. In U. Furbach and N. Shankar, editors, Proceedings of IJCAR: International Joint Conference on Automated Reasoning, volume 4130 of LNAI, pages 4-20, August 2006. [ bib | .dvi | .pdf ]
[8] Dale Miller and Alexis Saurin. A game semantics for proof search: Preliminary results. In Proceedings of the Mathematical Foundations of Programming Semantics (MFPS05), number 155 in ENTCS, pages 543-563, 2006. [ bib | .pdf ]
[9] Lutz Straßburger. Proof nets and the identity of proofs. Research Report 6013, INRIA, October 2006. Lecture notes for ESSLLI'06. [ bib | http ]
[10] Lutz Straßburger. What could a boolean category be? In Steffen van Bakel, editor, Classical Logic and Computation 2006 (Satellite Workshop of ICALP'06), 2006. [ bib | .pdf ]

This file was generated by bibtex2html 1.97.