%0 Conference Paper %1 conf/stoc/BruceL85 %A Bruce, Kim B. %A Longo, Giuseppe %B STOC %D 1985 %E Sedgewick, Robert %I ACM %K dblp %P 263-272 %T Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) %U http://dblp.uni-trier.de/db/conf/stoc/stoc85.html#BruceL85

@inproceedings{conf/stoc/BruceL85, added-at = {2018-11-06T00:00:00.000+0100}, author = {Bruce, Kim B. and Longo, Giuseppe}, biburl = {https://www.bibsonomy.org/bibtex/2665f63ecee4a477f34dae12308f685e4/dblp}, booktitle = {STOC}, crossref = {conf/stoc/STOC17}, editor = {Sedgewick, Robert}, ee = {https://doi.org/10.1145/22145.22175}, interhash = {0ae1aedaaf4fdc2b417fb131392b0c5d}, intrahash = {665f63ecee4a477f34dae12308f685e4}, keywords = {dblp}, pages = {263-272}, publisher = {ACM}, timestamp = {2018-11-07T14:43:56.000+0100}, title = {Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version)}, url = {http://dblp.uni-trier.de/db/conf/stoc/stoc85.html#BruceL85}, year = 1985 }