%0 Conference Paper %1 conf/types/SantoGI07 %A Santo, José Espírito %A Ghilezan, Silvia %A Ivetic, Jelena %B TYPES %D 2007 %E Miculan, Marino %E Scagnetto, Ivan %E Honsell, Furio %I Springer %K dblp %P 85-99 %T Characterising Strongly Normalising Intuitionistic Sequent Terms. %U http://dblp.uni-trier.de/db/conf/types/types2007.html#SantoGI07 %V 4941 %@ 978-3-540-68084-0

@inproceedings{conf/types/SantoGI07, added-at = {2018-11-02T00:00:00.000+0100}, author = {Santo, José Espírito and Ghilezan, Silvia and Ivetic, Jelena}, biburl = {https://www.bibsonomy.org/bibtex/23b9795a8242eec801e6ea29800ef4481/dblp}, booktitle = {TYPES}, crossref = {conf/types/2007}, editor = {Miculan, Marino and Scagnetto, Ivan and Honsell, Furio}, ee = {https://doi.org/10.1007/978-3-540-68103-8_6}, interhash = {45d0a513b7e2e3c07b5917b8df44110e}, intrahash = {3b9795a8242eec801e6ea29800ef4481}, isbn = {978-3-540-68084-0}, keywords = {dblp}, pages = {85-99}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:14:55.000+0200}, title = {Characterising Strongly Normalising Intuitionistic Sequent Terms.}, url = {http://dblp.uni-trier.de/db/conf/types/types2007.html#SantoGI07}, volume = 4941, year = 2007 }