BibTeX record conf/lics/Salibra01

download as .bib file

@inproceedings{DBLP:conf/lics/Salibra01,
  author    = {Antonino Salibra},
  title     = {A Continuum of Theories of Lambda Calculus without Semantics},
  booktitle = {{LICS}},
  pages     = {334--343},
  publisher = {{IEEE} Computer Society},
  year      = {2001}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics