@inproceedings{DBLP:conf/lambda/Egli75,
author = {Herbert Egli},
title = {Typed meaning in Scott's lambda - calculus models},
booktitle = {Lambda-Calculus and Computer Science Theory},
year = {1975},
pages = {220-239},
ee = {http://dx.doi.org/10.1007/BFb0029528},
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}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
