%0 Conference Paper %1 conf/birthday/YasugiH94 %A Yasugi, Mariko %A Hayashi, Susumu %B Logic, Language and Computation %D 1994 %E Jones, Neil D. %E Hagiya, Masami %E Sato, Masahiko %I Springer %K dblp %P 31-60 %T A Functional System with Transfinitely Defined Types. %U http://dblp.uni-trier.de/db/conf/birthday/takasu94.html#YasugiH94 %V 792 %@ 0-387-57935-4

@inproceedings{conf/birthday/YasugiH94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Yasugi, Mariko and Hayashi, Susumu}, biburl = {https://www.bibsonomy.org/bibtex/2b0327762435f557e7c7342657f63d632/dblp}, booktitle = {Logic, Language and Computation}, crossref = {conf/birthday/1994takasu}, editor = {Jones, Neil D. and Hagiya, Masami and Sato, Masahiko}, ee = {https://doi.org/10.1007/BFb0032393}, interhash = {96e1a600089d79bba0c386832ec4562a}, intrahash = {b0327762435f557e7c7342657f63d632}, isbn = {0-387-57935-4}, keywords = {dblp}, pages = {31-60}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:00:42.000+0200}, title = {A Functional System with Transfinitely Defined Types.}, url = {http://dblp.uni-trier.de/db/conf/birthday/takasu94.html#YasugiH94}, volume = 792, year = 1994 }