%0 Conference Paper %1 conf/icalp/Gimenez98 %A Giménez, Eduardo %B ICALP %D 1998 %E Larsen, Kim Guldstrand %E Skyum, Sven %E Winskel, Glynn %I Springer %K dblp %P 397-408 %T Structural Recursive Definitions in Type Theory. %U http://dblp.uni-trier.de/db/conf/icalp/icalp98.html#Gimenez98 %V 1443 %@ 3-540-64781-3

@inproceedings{conf/icalp/Gimenez98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Giménez, Eduardo}, biburl = {https://www.bibsonomy.org/bibtex/2d154a9f40acdeb7477775c06a980125b/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1998}, editor = {Larsen, Kim Guldstrand and Skyum, Sven and Winskel, Glynn}, ee = {https://doi.org/10.1007/BFb0055070}, interhash = {f9d0d2796bf656b5d983c9d15848e55f}, intrahash = {d154a9f40acdeb7477775c06a980125b}, isbn = {3-540-64781-3}, keywords = {dblp}, pages = {397-408}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:26:16.000+0200}, title = {Structural Recursive Definitions in Type Theory.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp98.html#Gimenez98}, volume = 1443, year = 1998 }