[1] | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, and Alwen Tiu. The Bedwyr system for model checking over syntactic expressions. In F. Pfenning, editor, 21th Conf. on Automated Deduction (CADE), number 4603 in LNAI, pages 391--397, New York, 2007. Springer. [ bib | DOI | .pdf ] |
[2] | David Baelde and Dale Miller. Least and greatest fixed points in linear logic. In N. Dershowitz and A. Voronkov, editors, International Conference on Logic for Programming and Automated Reasoning (LPAR), volume 4790 of LNCS, pages 92--106, 2007. [ bib | DOI | .pdf ] |
[3] | David Baelde and Dale Miller. Least and greatest fixed points in linear logic: extended version. Technical report, available from the first author's web page, April 2007. [ bib | .pdf ] |
[4] | Roy Dyckhoff and Stephane Lengrand. Call-by-value λ-calculus and LJQ. J. of Logic and Computation, 17(6):1109--1134, 2007. [ bib ] |
[5] | Stéphane Lengrand. Termination of lambda-calculus with the extra call-by-value rule known as assoc. Technical report, CNRS-Ecole Polytechnique-INRIA, 2007. CoRR, abs/0806.4859. [ bib | http ] |
[6] | Chuck Liang and Dale Miller. Focusing and polarization in intuitionistic logic. In J. Duparc and T. A. Henzinger, editors, CSL 2007: Computer Science Logic, volume 4646 of LNCS, pages 451--465. Springer, 2007. [ bib | .pdf ] |
[7] | Chuck Liang and Dale Miller. On focusing and polarities in linear logic and intuitionistic logic. Extended version of accepted paper., September 2007. [ bib | http | .pdf ] |
[8] | Dale Miller and Vivek Nigam. Incorporating tables into proofs. In J. Duparc and T. A. Henzinger, editors, CSL 2007: Computer Science Logic, volume 4646 of LNCS, pages 466--480. Springer, 2007. [ bib | DOI | .pdf ] |
[9] | Dale Miller and Alexis Saurin. From proofs to focused proofs: a modular proof of focalization in linear logic. In J. Duparc and T. A. Henzinger, editors, CSL 2007: Computer Science Logic, volume 4646 of LNCS, pages 405--419. Springer, 2007. [ bib | .pdf ] |
[10] | Alexis Saurin. Typing streams in the Λμ-calculus: extended abstract. In Proceedings of the Short Papers Session at LPAR 2007, October 2007. [ bib | .pdf ] |
[11] | Lutz Straßburger. A characterisation of medial as rewriting rule. In Franz Baader, editor, Term Rewriting and Applications, RTA'07, volume 4533 of LNCS, pages 344--358. Springer, 2007. [ bib | .pdf ] |
[12] | Lutz Straßburger. Deep inference for hybrid logic. In International Workshop on Hybrid Logic 2007 (Part of ESSLLI'07), 2007. [ bib | .pdf ] |
[13] | Lutz Straßburger. On the axiomatisation of Boolean categories with and without medial. Theory and Applications of Categories, 18(18):536--601, 2007. [ bib | http | .pdf ] |
This file was generated by bibtex2html 1.98.