Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/lambda:"
download as .bib file
@inproceedings{DBLP:conf/lambda/AielloA75,
author = {Luigia Carlucci Aiello and
Mario Aiello},
editor = {Corrado B{\"{o}}hm},
title = {Programming language semantics in a typed lambda - calculus},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {240--251},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029529},
doi = {10.1007/BFB0029529},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/lambda/AielloA75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Ausiello75,
author = {Giorgio Ausiello},
editor = {Corrado B{\"{o}}hm},
title = {On the description of time varying systems in lambda - calculus},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {177--191},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029525},
doi = {10.1007/BFB0029525},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Ausiello75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Bakker75,
author = {J. W. de Bakker},
editor = {Corrado B{\"{o}}hm},
title = {Least fixed points revisited},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {27--61},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029518},
doi = {10.1007/BFB0029518},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Bakker75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Barendregt75,
author = {Henk Barendregt},
editor = {Corrado B{\"{o}}hm},
title = {Normed uniformly reflexive structures},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {272--286},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029531},
doi = {10.1007/BFB0029531},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Barendregt75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/BatiniP75,
author = {Carlo Batini and
Alberto Pettorossi},
editor = {Corrado B{\"{o}}hm},
title = {On subrecursiveness in weak combinatory logic},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {297--311},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029533},
doi = {10.1007/BFB0029533},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lambda/BatiniP75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/BohmD75,
author = {Corrado B{\"{o}}hm and
Mariangiola Dezani{-}Ciancaglini},
editor = {Corrado B{\"{o}}hm},
title = {Lambda-terms as total or partial functions on normal forms},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {96--121},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029521},
doi = {10.1007/BFB0029521},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/BohmD75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Dubinsky75,
author = {A. Dubinsky},
editor = {Corrado B{\"{o}}hm},
title = {Computation on arbitrary algebras},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {319--341},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029535},
doi = {10.1007/BFB0029535},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Dubinsky75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Egli75,
author = {Herbert Egli},
editor = {Corrado B{\"{o}}hm},
title = {Typed meaning in Scott's lambda - calculus models},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {220--239},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029528},
doi = {10.1007/BFB0029528},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Egli75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Huet75,
author = {G{\'{e}}rard P. Huet},
editor = {Corrado B{\"{o}}hm},
title = {unification in typed lambda calculus},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {192--212},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029526},
doi = {10.1007/BFB0029526},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Huet75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Hyland75,
author = {J. M. E. Hyland},
editor = {Corrado B{\"{o}}hm},
title = {A survey of some useful partial order relations on terms of the lambda
calculus},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {83--95},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029520},
doi = {10.1007/BFB0029520},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Hyland75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Jacopini75,
author = {Giuseppe Jacopini},
editor = {Corrado B{\"{o}}hm},
title = {A condition for identifying two elements of whatever model of combinatory
logic},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {213--219},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029527},
doi = {10.1007/BFB0029527},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Jacopini75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Klop75,
author = {Jan Willem Klop},
editor = {Corrado B{\"{o}}hm},
title = {On solvability by lambda {I} - terms},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {342--345},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029536},
doi = {10.1007/BFB0029536},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Klop75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Levy75,
author = {Jean{-}Jacques L{\'{e}}vy},
editor = {Corrado B{\"{o}}hm},
title = {An algebraic interpretation of the lambda beta - calculus and a labeled
lambda - calculus},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {147--165},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029523},
doi = {10.1007/BFB0029523},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Levy75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Nakajima75,
author = {Reiji Nakajima},
editor = {Corrado B{\"{o}}hm},
title = {Infinite normal forms for the lambda - calculus},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {62--82},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029519},
doi = {10.1007/BFB0029519},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Nakajima75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Nolin75,
author = {Louis Nolin},
editor = {Corrado B{\"{o}}hm},
title = {Les mod{\`{e}}les informatiques des lambda-calculus},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {166--176},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029524},
doi = {10.1007/BFB0029524},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Nolin75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Sazonov75,
author = {Vladimir Yu. Sazonov},
editor = {Corrado B{\"{o}}hm},
title = {Sequentially and parallelly computable functionals},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {312--318},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029534},
doi = {10.1007/BFB0029534},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Sazonov75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Scott75,
author = {Dana S. Scott},
editor = {Corrado B{\"{o}}hm},
title = {Combinators and classes},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {1--26},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029517},
doi = {10.1007/BFB0029517},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Scott75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Scott75a,
author = {Dana S. Scott},
editor = {Corrado B{\"{o}}hm},
title = {Some philosophical issues concerning theories of combinators},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {346--366},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029537},
doi = {10.1007/BFB0029537},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Scott75a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Vrijer75,
author = {Roel C. de Vrijer},
editor = {Corrado B{\"{o}}hm},
title = {Big trees in a lambda - calculus with lambda - expressions as types},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {252--271},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029530},
doi = {10.1007/BFB0029530},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Vrijer75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Welch75,
author = {Peter H. Welch},
editor = {Corrado B{\"{o}}hm},
title = {Continuous semantics and inside-out reductions},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {122--146},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029522},
doi = {10.1007/BFB0029522},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Welch75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/X75,
editor = {Corrado B{\"{o}}hm},
title = {Open problems},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {367--370},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029538},
doi = {10.1007/BFB0029538},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/X75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/Zilli75,
author = {Marisa Venturini Zilli},
editor = {Corrado B{\"{o}}hm},
title = {A model with nondeterministic computation},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {287--296},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029532},
doi = {10.1007/BFB0029532},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/Zilli75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lambda/1975,
editor = {Corrado B{\"{o}}hm},
title = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029515},
doi = {10.1007/BFB0029515},
isbn = {3-540-07416-3},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lambda/1975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-07-08 14:21 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
