%0 Conference Paper %1 conf/ifip2/Dezani-Ciancaglini87 %A Dezani-Ciancaglini, Mariangiola %A Margaria, Ines %B Formal Description of Programming Concepts %D 1987 %E Wirsing, Martin %I North-Holland %K dblp %P 425-450 %T Polymorphic types, fixed-point combinators and continuous lambda-models. %U http://dblp.uni-trier.de/db/conf/ifip2/fdpc1987.html#Dezani-Ciancaglini87 %@ 0-444-70253-9

@inproceedings{conf/ifip2/Dezani-Ciancaglini87, added-at = {2019-01-10T00:00:00.000+0100}, author = {Dezani-Ciancaglini, Mariangiola and Margaria, Ines}, biburl = {https://www.bibsonomy.org/bibtex/27974f1b48d01a25c2d46298a89c42a31/dblp}, booktitle = {Formal Description of Programming Concepts}, crossref = {conf/ifip2/1987}, editor = {Wirsing, Martin}, interhash = {7cb333dd8db450cd02a3dee28f142f09}, intrahash = {7974f1b48d01a25c2d46298a89c42a31}, isbn = {0-444-70253-9}, keywords = {dblp}, pages = {425-450}, publisher = {North-Holland}, timestamp = {2019-01-11T11:38:46.000+0100}, title = {Polymorphic types, fixed-point combinators and continuous lambda-models.}, url = {http://dblp.uni-trier.de/db/conf/ifip2/fdpc1987.html#Dezani-Ciancaglini87}, year = 1987 }