%0 Conference Paper %1 conf/fsen/DemangeonHS11 %A Demangeon, Romain %A Hirschkoff, Daniel %A Sangiorgi, Davide %B FSEN %D 2011 %E Arbab, Farhad %E Sirjani, Marjan %I Springer %K dblp %P 128-142 %T Strong Normalisation in λ-Calculi with References. %U http://dblp.uni-trier.de/db/conf/fsen/fsen2011.html#DemangeonHS11 %V 7141 %@ 978-3-642-29319-1

@inproceedings{conf/fsen/DemangeonHS11, added-at = {2017-05-21T00:00:00.000+0200}, author = {Demangeon, Romain and Hirschkoff, Daniel and Sangiorgi, Davide}, biburl = {https://www.bibsonomy.org/bibtex/201b7af09d344a9f7a2ce4c8c68c7d836/dblp}, booktitle = {FSEN}, crossref = {conf/fsen/2011}, editor = {Arbab, Farhad and Sirjani, Marjan}, ee = {https://doi.org/10.1007/978-3-642-29320-7_9}, interhash = {8731707346b53be703c3f278a01f50ec}, intrahash = {01b7af09d344a9f7a2ce4c8c68c7d836}, isbn = {978-3-642-29319-1}, keywords = {dblp}, pages = {128-142}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:16:40.000+0200}, title = {Strong Normalisation in λ-Calculi with References.}, url = {http://dblp.uni-trier.de/db/conf/fsen/fsen2011.html#DemangeonHS11}, volume = 7141, year = 2011 }