%0 Conference Paper %1 conf/icalp/Cardone89 %A Cardone, Felice %B ICALP %D 1989 %E Ausiello, Giorgio %E Dezani-Ciancaglini, Mariangiola %E Rocca, Simona Ronchi Della %I Springer %K dblp %P 164-178 %T Relational Semantics for Recursive Types and Bounded Quantification. %U http://dblp.uni-trier.de/db/conf/icalp/icalp89.html#Cardone89 %V 372 %@ 0-387-51371-X

@inproceedings{conf/icalp/Cardone89, added-at = {2017-05-19T00:00:00.000+0200}, author = {Cardone, Felice}, biburl = {https://www.bibsonomy.org/bibtex/2e67603c6ff4cbe5215b6c442d4099fa3/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1989}, editor = {Ausiello, Giorgio and Dezani-Ciancaglini, Mariangiola and Rocca, Simona Ronchi Della}, ee = {https://doi.org/10.1007/BFb0035759}, interhash = {361ec2c27955dc7f71c148df1b7ebc12}, intrahash = {e67603c6ff4cbe5215b6c442d4099fa3}, isbn = {0-387-51371-X}, keywords = {dblp}, pages = {164-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:26:45.000+0200}, title = {Relational Semantics for Recursive Types and Bounded Quantification.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp89.html#Cardone89}, volume = 372, year = 1989 }