Colin Stirling
Proof Systems for Retracts in Simply Typed λ Calculus
ICALP, 2013.
@inproceedings{ICALP-v2-2013-Stirling, author = "Colin Stirling", booktitle = "{Proceedings of the 40th International Colloquium on Automata, Languages, and Programming, Part II}", doi = "10.1007/978-3-642-39212-2_36", isbn = "978-3-642-39211-5", pages = "398--409", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Proof Systems for Retracts in Simply Typed λ Calculus}", volume = 7966, year = 2013, }