@misc {IOPORT.70034164,
    author       = {Altenkirch, Thorsten and Coquand, Thierry},
    title        = {A finitary subsystem of the polymorphic lambda-calculus},
    howpublished = {TLCA, 22-28 (2001).},
    year         = {2001},
    doi          = {10.1007/3-540-45413-6_6},
    identifier   = {70034164},
}