BibTeX
@inproceedings{DBLP:conf/lambda/Scott75,
author = {Dana S. Scott},
title = {Combinators and classes},
booktitle = {Lambda-Calculus and Computer Science Theory},
year = {1975},
pages = {1-26},
crossref = {DBLP:conf/lambda/1975},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lambda/1975,
editor = {Corrado B{\"o}hm},
title = {Lambda-Calculus and Computer Science Theory, Proceedings
of the Symposium Held in Rome, March 25-27, 1975},
booktitle = {Lambda-Calculus and Computer Science Theory},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {37},
year = {1975},
isbn = {3-540-07416-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-10-30 by Michael Ley (ley@uni-trier.de)