YasugiH94'

BibTeX

@inproceedings{DBLP:conf/birthday/YasugiH94,
  author    = {Mariko Yasugi and
               Susumu Hayashi},
  title     = {A Functional System with Transfinitely Defined Types},
  booktitle = {Logic, Language and Computation},
  year      = {1994},
  pages     = {31-60},
  crossref  = {DBLP:conf/birthday/1994takasu},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/birthday/1994takasu,
  editor    = {Neil D. Jones and
               Masami Hagiya and
               Masahiko Sato},
  title     = {Logic, Language and Computation, Festschrift in Honor of
               Satoru Takasu},
  booktitle = {Logic, Language and Computation},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {792},
  year      = {1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}