Thorsten Altenkirch, Thierry Coquand
A Finitary Subsystem of the Polymorphic λ-Calculus
TLCA, 2001.
@inproceedings{TLCA-2001-AltenkirchC, author = "Thorsten Altenkirch and Thierry Coquand", booktitle = "{Proceedings of the Fifth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/3-540-45413-6_6", isbn = "3-540-41960-8", pages = "22--28", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Finitary Subsystem of the Polymorphic λ-Calculus}", volume = 2044, year = 2001, }