%0 Conference Paper %1 conf/ictcs/Bakeld05 %A van Bakel, Steffen %A de'Liguoro, Ugo %B ICTCS %D 2005 %E Coppo, Mario %E Lodi, Elena %E Pinna, G. Michele %I Springer %K dblp %P 66-80 %T Subtyping Object and Recursive Types Logically. %U http://dblp.uni-trier.de/db/conf/ictcs/ictcs2005.html#Bakeld05 %V 3701 %@ 3-540-29106-7

@inproceedings{conf/ictcs/Bakeld05, added-at = {2017-05-21T00:00:00.000+0200}, author = {van Bakel, Steffen and de'Liguoro, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/20743b7beef2abe74b5d2019d5679fa54/dblp}, booktitle = {ICTCS}, crossref = {conf/ictcs/2005}, editor = {Coppo, Mario and Lodi, Elena and Pinna, G. Michele}, ee = {https://doi.org/10.1007/11560586_7}, interhash = {8e938f863ffc6ec77df53b7e5ab80c0b}, intrahash = {0743b7beef2abe74b5d2019d5679fa54}, isbn = {3-540-29106-7}, keywords = {dblp}, pages = {66-80}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:37:59.000+0200}, title = {Subtyping Object and Recursive Types Logically.}, url = {http://dblp.uni-trier.de/db/conf/ictcs/ictcs2005.html#Bakeld05}, volume = 3701, year = 2005 }