%0 Conference Paper %1 journals/entcs/BucciarelliKV16 %A Bucciarelli, Antonio %A Kesner, Delia %A Ventura, Daniel %B LSFA %D 2015 %E Benevides, Mario R. F. %E Thiemann, René %I Elsevier %K dblp %P 75-91 %T Strong Normalization through Intersection Types and Memory. %U http://dblp.uni-trier.de/db/journals/entcs/entcs323.html#BucciarelliKV16 %V 323

@inproceedings{journals/entcs/BucciarelliKV16, added-at = {2022-08-16T00:00:00.000+0200}, author = {Bucciarelli, Antonio and Kesner, Delia and Ventura, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/230a123a2357621759da2a3886d7c7d4b/dblp}, booktitle = {LSFA}, crossref = {conf/lsfa/2015}, editor = {Benevides, Mario R. F. and Thiemann, René}, ee = {https://www.wikidata.org/entity/Q113317683}, interhash = {ff634eb454add0b89ba3e7ddf4fba754}, intrahash = {30a123a2357621759da2a3886d7c7d4b}, keywords = {dblp}, pages = {75-91}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T07:27:45.000+0200}, title = {Strong Normalization through Intersection Types and Memory.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs323.html#BucciarelliKV16}, volume = 323, year = 2015 }