@inproceedings(BT,
 author       = "M. Basaldella and K. Terui",
 year         = "2010",
 title        = "Infinitary Completeness in Ludics",
 booktitle    = "Proceedings of LICS 2010",
 pages        = "294--303",
 doi          = "10.1109/LICS.2010.47",
)
@incollection(coppo,
 author       = "M. Coppo",
 year         = "1998",
 title        = "Recursive Types: the syntactic and semantic approaches",
 booktitle    = "Type Theory and its Application to Computer Systems",
 series       = "RIMS Lecture Notes",
 volume       = "1023",
 publisher    = "RIMS, Kyoto University",
 pages        = "16--41",
 url          = "http://hdl.handle.net/2433/61723",
)
@article(Courcelle,
 author       = "B. Courcelle",
 year         = "1983",
 title        = "Fundamental properties of infinite trees",
 journal      = "Theor. Comput. Sci.",
 volume       = "25",
 pages        = "95--169",
 doi          = "10.1016/0304-3975(83)90059-2",
)
@book(PTLC,
 author       = "J.-Y. Girard",
 year         = "1987",
 title        = "Proof Theory and Logical Complexity: Volume I",
 publisher    = "Bibliopolis",
 address      = "Napoli",
)
@article(locus,
 author       = "J.-Y. Girard",
 year         = "2001",
 title        = "Locus Solum: From the rules of logic to the logic of rules",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "11",
 number       = "3",
 pages        = "301--506",
 doi          = "10.1017/S096012950100336X",
)
@book(manna,
 author       = "Z. Manna",
 year         = "1974",
 title        = "Mathematical Theory of Computation",
 publisher    = "McGraw--Hill",
 address      = "New York",
)
@inproceedings(MelVou,
 author       = "P.-A. Melli{\`e}s and J. Vouillon",
 year         = "2005",
 title        = "Recursive polymorphic types and parametricity in an operational framework",
 booktitle    = "Proceedings of LICS 2005",
 pages        = "82--91",
 doi          = "10.1109/LICS.2005.42",
)
@incollection(Tait68,
 author       = "W.W. Tait",
 year         = "1968",
 title        = "Normal derivability in classical logic",
 booktitle    = "The Syntax and Semantics of Infinitary Languages",
 chapter      = "12",
 series       = "LNM",
 volume       = "72",
 publisher    = "Springer--Verlag",
 pages        = "204--236",
 doi          = "10.1007/BFb0079691",
)