%0 Conference Paper %1 conf/birthday/Glew12 %A Glew, Neal %B Logic and Program Semantics %D 2012 %E Constable, Robert L. %E Silva, Alexandra %I Springer %K dblp %P 66-82 %T Subtyping for F-Bounded Quantifiers and Equirecursive Types. %U http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#Glew12 %V 7230 %@ 978-3-642-29484-6

@inproceedings{conf/birthday/Glew12, added-at = {2017-05-23T00:00:00.000+0200}, author = {Glew, Neal}, biburl = {https://www.bibsonomy.org/bibtex/24ce920e58f2057fb323f932945aa6521/dblp}, booktitle = {Logic and Program Semantics}, crossref = {conf/birthday/2012kozen}, editor = {Constable, Robert L. and Silva, Alexandra}, ee = {https://doi.org/10.1007/978-3-642-29485-3_6}, interhash = {2034a45d21e3095da7d748cf634bc908}, intrahash = {4ce920e58f2057fb323f932945aa6521}, isbn = {978-3-642-29484-6}, keywords = {dblp}, pages = {66-82}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:30.000+0200}, title = {Subtyping for F-Bounded Quantifiers and Equirecursive Types.}, url = {http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#Glew12}, volume = 7230, year = 2012 }