José Espírito Santo, Silvia Ghilezan, J. Ivetic. Characterising Strongly Normalising Intuitionistic Sequent Terms. In Marino Miculan, Ivan Scagnetto, Furio Honsell, editors, Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Volume 4941 of Lecture Notes in Computer Science, pages 85-99, Springer, 2007. [doi]
@inproceedings{SantoGI07,
title = {Characterising Strongly Normalising Intuitionistic Sequent Terms},
author = {José Espírito Santo and Silvia Ghilezan and J. Ivetic},
year = {2007},
doi = {10.1007/978-3-540-68103-8_6},
url = {http://dx.doi.org/10.1007/978-3-540-68103-8_6},
researchr = {https://researchr.org/publication/SantoGI07},
cites = {0},
citedby = {0},
pages = {85-99},
booktitle = {Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers},
editor = {Marino Miculan and Ivan Scagnetto and Furio Honsell},
volume = {4941},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-68084-0},
}