BibTeX record conf/lics/Freyd90

download as .bib file

@inproceedings{DBLP:conf/lics/Freyd90,
  author    = {Peter J. Freyd},
  title     = {Recursive Types Reduced to Inductive Types},
  booktitle = {{LICS}},
  pages     = {498--507},
  publisher = {{IEEE} Computer Society},
  year      = {1990}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics