%0 Conference Paper %1 conf/rta/Bahr18 %A Bahr, Patrick %B FSCD %D 2018 %E Kirchner, Hélène %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 8:1-8:16 %T Strict Ideal Completions of the Lambda Calculus. %U http://dblp.uni-trier.de/db/conf/rta/fscd2018.html#Bahr18 %V 108 %@ 978-3-95977-077-4

@inproceedings{conf/rta/Bahr18, added-at = {2018-11-30T00:00:00.000+0100}, author = {Bahr, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/2d361051d00ebaf6c17006d832b06a139/dblp}, booktitle = {FSCD}, crossref = {conf/rta/2018}, editor = {Kirchner, Hélène}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2018.8}, interhash = {0b26962bdcfd7c53ba295f6051a6c943}, intrahash = {d361051d00ebaf6c17006d832b06a139}, isbn = {978-3-95977-077-4}, keywords = {dblp}, pages = {8:1-8:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:50:09.000+0100}, title = {Strict Ideal Completions of the Lambda Calculus.}, url = {http://dblp.uni-trier.de/db/conf/rta/fscd2018.html#Bahr18}, volume = 108, year = 2018 }