Search dblp for Publications

export results for "toc:db/conf/lambda/lambda1975.bht:"

 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}
}

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.