)
author = "1",
@unknown(Ariola-Herbelin'03,
author = "Z.M. Ariola and H. Herbelin",
year = "2003",
title = "{Minimal Classical Logic and Control Operators}",
booktitle = "Proceedings of Automata, Languages and Programming, 30th International Colloquium, ICALP'03, 2003",
series = "Lecture Notes in Computer Science",
volume = "2719",
publisher = "Springer",
pages = "871--885",
)
@unknown(Bakel-TCS'92,
author = "S. van Bakel",
year = "1992",
title = "Complete restrictions of the Intersection Type {D}iscipline",
journal = "Theoretical Computer Science",
volume = "102",
number = "1",
pages = "135--163",
)
@unknown(Bakel-APAL'10,
author = "S. van Bakel",
year = "2010",
title = "{Completeness and Partial Soundness Results for Intersection \& Union Typing for ${\overline {`l}`m\mathaccent "767E\relax {\mu }}$}",
journal = "Annals of Pure and Applied Logic",
volume = "161",
pages = "1400--1430",
)
@unknown(Bakel-FI'10,
author = "S. van Bakel",
year = "2010",
title = "{Completeness and Soundness results for $\cal X$ with Intersection and Union Types}",
note = "To appear in: Fundamenta Informaticae",
)
@unknown(Bakel-deLiguoro-TOCS'08,
author = "S. van Bakel and U. {de'Liguoro}",
year = "2008",
title = "Logical equivalence for subtyping object and recursive types",
journal = "Theory of Computing Systems",
volume = "42",
number = "3",
pages = "306--348",
)
@unknown(Bakel-Fernandez-IaC'97,
author = "S. van Bakel and M. Fern\'andez",
year = "1997",
title = "{Normalization Results for Typeable Rewrite Systems}",
journal = "Information and Computation",
volume = "2",
number = "133",
pages = "73--116",
)
@unknown(vBLL-ICTCS'05,
author = "S. van Bakel and S. Lengrand and P. Lescanne",
year = "2005",
title = "{The language $\cal X$: Circuits, Computations and Classical Logic}",
booktitle = "Proceedings of Ninth Italian Conference on Theoretical Computer Science {\rm (ICTCS'05)}",
series = "Lecture Notes in Computer Science",
volume = "3701",
publisher = "Springer Verlag",
pages = "81--96",
)
@unknown(Bakel-Lescanne-MSCS'08,
author = "S. van Bakel and P. Lescanne",
year = "2008",
title = "{Computation with Classical Sequents}",
journal = "Mathematical Structures in Computer Science",
volume = "18",
pages = "555--609",
)
@unknown(Barbanera-Dezani-Liguoro-IaC'95,
author = "F. Barbanera and M. {Dezani-Ciancaglini} and U. {de'Liguoro}",
year = "1995",
title = "Intersection and {U}nion Types: Syntax and Semantics",
journal = "Information and Computation",
volume = "119(2)",
pages = "202--230",
)
@unknown(Barendregt'84,
author = "H. Barendregt",
year = "1984",
title = "{The Lambda Calculus: its Syntax and Semantics}",
publisher = "North-Holland",
address = "Amsterdam",
)
@unknown(BCD'83,
author = "H. Barendregt and M. Coppo and M. {Dezani-Ciancaglini}",
year = "1983",
title = "A filter lambda model and the completeness of type assignment",
journal = "Journal of Symbolic Logic",
volume = "48",
number = "4",
pages = "931--940",
)
@unknown(Church'36,
author = "A. Church",
year = "1936",
title = "A Note on the Entscheidungsproblem",
journal = "Journal of Symbolic Logic",
volume = "1",
number = "1",
pages = "40--41",
)
@unknown(Coppo-Dezani'78,
author = "M. Coppo and M. Dezani{-}Ciancaglini",
year = "1978",
title = "{A New Type Assignment for Lambda-Terms}",
journal = "Archive f\"ur Mathematischer Logic und Grundlagenforschung",
volume = "19",
pages = "139--156",
)
@unknown(Curien-Herbelin'00,
author = "P.-L. Curien and H. Herbelin",
year = "2000",
title = "The {D}uality of Computation",
booktitle = "Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP'00)",
series = "ACM Sigplan Notices",
volume = "35.9",
pages = "233--243",
)
@unknown(Curry-Feys'58,
author = "H.B. Curry and R. Feys",
year = "1958",
title = "Combinatory Logic",
volume = "1",
publisher = "North-Holland",
address = "Amsterdam",
)
@unknown(Davies-Pfenning'01,
author = "R. Davies and F. Pfenning",
year = "2001",
title = "A judgmental reconstruction of modal logic",
journal = "Mathematical Structures in Computer Science",
volume = "11",
number = "4",
pages = "511--540",
)
@unknown(DGL-ITRS'04,
author = "D. Dougherty and S. Ghilezan and P. Lescanne",
year = "2004",
title = "Intersection and {U}nion Types in the ${\overline {`l}`m\mathaccent "767E\relax {\mu }}$-calculus",
booktitle = "Electronic Proceedings of 2nd International Workshop {\em Intersection Types and Related Systems} (ITRS'04)",
series = "Electronic Notes in Theoretical Computer Science",
volume = "136",
pages = "228--246",
)
@unknown(DGL-CDR'08,
author = "D. Dougherty and S. Ghilezan and P. Lescanne",
year = "2008",
title = "{Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage}",
journal = "Theoretical Computer Science",
volume = "398",
)
@unknown(Dunfield-Pfenning'03,
author = "J. Dunfield and F. Pfenning",
year = "2003",
title = "{Type Assignment for Intersections and Unions in Call-by-Value Languages}",
booktitle = "Proceedings of 6th International Conference on {\em Foundations of Software Science and Computational Structures} (FOSSACS'03)",
pages = "250--266",
)
@unknown(Gentzen'35,
author = "G. Gentzen",
year = "1935",
title = "Investigations into logical deduction",
booktitle = "The Collected Papers of {G}erhard {G}entzen",
publisher = "Ed M. E. Szabo, North Holland, 68ff (1969)",
)
@unknown(deGroote'94,
author = "Ph. de Groote",
year = "1994",
title = "On the relation between the $\lambda \mu $-calculus and the syntactic theory of sequential control",
booktitle = "Proceedings of 5th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'94)",
series = "Lecture Notes in Computer Science",
volume = "822",
publisher = "Springer Verlag",
pages = "31--43",
)
@unknown(Harper-Lillibridge'91,
author = "B. Harper and M. Lillibridge",
year = "1991",
title = "{ML} with callcc is unsound",
note = "Post to TYPES mailing list, July 8",
)
@unknown(Herbelin'05,
author = "H. Herbelin",
year = "2005",
title = "C'est maintenant qu'on calcule: au c\oe ur de la dualit\'e",
type = "M\'emoire de habilitation",
school = "Universit\'e Paris 11",
)
@unknown(Hindley'97,
author = "J.R. Hindley",
year = "1997",
title = "{Basic Simple Type Theory}",
publisher = "Cambridge University Press",
)
@unknown(Lengrand'03,
author = "S. Lengrand",
year = "2003",
title = "Call-by-value, call-by-name, and strong normalization for the classical sequent calculus",
booktitle = "3rd Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003)",
series = "Electronic Notes in Theoretical Computer Science",
volume = "86",
publisher = "Elsevier",
)
@unknown(Maffeis'05,
author = "S. Maffeis",
year = "2005",
title = "Sequence Types for the {\it pi}-calculus",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "136",
pages = "117--132",
)
@unknown(Milner-et.al'97,
author = "R. Milner and M. Tofte and R. Harper and D. MacQueen",
year = "1990",
title = "{The Definition of Standard ML}",
publisher = "MIT Press",
note = "Revised edition",
)
@unknown(Ong-Stewart'97,
author = "C.-H. L. Ong and C.A. Stewart",
year = "1997",
title = "A {Curry-Howard} foundation for functional computation with control",
booktitle = "Proceedings of the 24th Annual {ACM} Symposium on Principles Of Programming Languages",
pages = "215--227",
)
@unknown(Parigot'92,
author = "M. Parigot",
year = "1992",
title = "An algorithmic interpretation of classical natural deduction",
booktitle = "Proceedings of 3rd International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'92)",
series = "Lecture Notes in Computer Science",
volume = "624",
publisher = "Springer Verlag",
pages = "190--201",
)
@unknown(Parigot-Brno'93,
author = "M. Parigot",
year = "1993",
title = "{Classical Proofs as Programs}",
booktitle = "Kurt G{\"o}del Colloquium",
pages = "263--276",
note = "Presented at TYPES Workshop, 1992",
)
@unknown(Parigot'93,
author = "M. Parigot",
year = "1993",
title = "{Strong Normalization for Second Order Classical Natural Deduction}",
booktitle = "Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993",
pages = "39--46",
)
@unknown(Pierce-PhD'91,
author = "B.C. Pierce",
year = "1991",
title = "{Programming with Intersection Types and Bounded Polymorphism}",
type = "Ph.D. thesis",
school = "Carnegie Mellon University, School of Computer Science, Pitssburgh",
note = "{CMU}-{CS}-91-205",
)
@unknown(Wright'95,
author = "A.K. Wright",
year = "1995",
title = "Simple imperative polymorphism",
journal = "Lisp and Symbolic Computation",
volume = "8",
number = "4",
pages = "343--355",
)