%0 Conference Paper %1 conf/calco/EberhartHS15 %A Eberhart, Clovis %A Hirschowitz, Tom %A Seiller, Thomas %B CALCO %D 2015 %E Moss, Lawrence S. %E Sobocinski, Pawel %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 86-100 %T An Intensionally Fully-abstract Sheaf Model for pi. %U http://dblp.uni-trier.de/db/conf/calco/calco2015.html#EberhartHS15 %V 35 %@ 978-3-939897-84-2

@inproceedings{conf/calco/EberhartHS15, added-at = {2018-08-23T00:00:00.000+0200}, author = {Eberhart, Clovis and Hirschowitz, Tom and Seiller, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/27ff7ac3f75055b54d850e7596f51bccc/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2015}, editor = {Moss, Lawrence S. and Sobocinski, Pawel}, ee = {https://doi.org/10.4230/LIPIcs.CALCO.2015.86}, interhash = {56eda0aad0054224df50cde0bd343064}, intrahash = {7ff7ac3f75055b54d850e7596f51bccc}, isbn = {978-3-939897-84-2}, keywords = {dblp}, pages = {86-100}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-04-22T11:40:11.000+0200}, title = {An Intensionally Fully-abstract Sheaf Model for pi.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2015.html#EberhartHS15}, volume = 35, year = 2015 }