Fundraising September 15, 2024 – October 1, 2024 About fundraising

λ-Calculus and Computer Science Theory: Proceedings of the...

Main
Mathematics
λ-Calculus and Computer Science Theory:...

λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

Corrado Böhm (auth.), Prof. C. Böhm (eds.)

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Categories:

Year:

1975

Edition:

1

Publisher:

Springer-Verlag Berlin Heidelberg

Language:

english

Pages:

371

ISBN 10:

3540379444

ISBN 13:

9783540379447

Series:

Lecture Notes in Computer Science 37

File:

PDF, 5.78 MB

IPFS:

,

english, 1975

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

Roberto M. Amadio, Pierre-Louis Curien — Domains and Lambda-Calculi

Corrado Böhm (auth.), Prof. C. Böhm (eds.) — λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.) — Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.) — Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

— Lambda Calculus 001

Paulson L.C. — Foundations of functional programming

R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer (editors) — Selected Papers on Automath

Rene Lalement, John Plaice — Computation as logic

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

Chris Hankin — Lambda Calculi: A Guide for Computer Scientists

Carl A. Gunter — Semantics of Programming Languages: Structures and Techniques

John C. Mitchell — Foundations for programming languages

Carl A. Gunter — Semantics of Programming Languages: Structures and Techniques

Katalin Bimbo (Author) — Combinatory Logic: Pure, Applied and Typed

Jon Barwise, H. Jerome Keisler, Kenneth Kunen — The Kleene Symposium: Proceedings Madison, 1978

H.P. Barendregt — The Lambda Calculus, Second Edition: Its Syntax and Semantics

Nederpelt R.P., Geuvers J.H., de Vrijer R.C. (eds.) — Selected papers on automath

Révész, György E — Lambda-calculus, combinators and functional programming

G. E. Revesz — Lambda-calculus, Combinators and Functional Programming

Roberto M. Amadio, Pierre-Louis Curien — Domains and Lambda-Calculi

Henk Barendregt, Wil Dekkers, Richard Statman — Lambda Calculus with Types

J. Roger Hindley, Jonathan P. Seldin — Lambda-calculus and combinators, an introduction

Katalin Bimbó — Combinatory Logic: Pure, Applied and Typed

Katalin Bimbó — Combinatory Logic. Pure, Applied and Typed

Stoltenberg-Hansen, Viggo.; Väänänen, Jouko (eds.) — Logic colloquium '03: lecture notes in logic 24

Viggo Stoltenberg-Hansen, Jouko Väänänen (eds.) — Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003

Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (eds.) — Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings

Olivier Danvy (auth.), Samson Abramsky (eds.) — Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Gordon Plotkin (auth.), Takayasu Ito, Albert R. Meyer (eds.) — Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings

QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.) — Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.) — Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

Stål Aanderaa (auth.), E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter (eds.) — Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.) — Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Samson Abramsky, Pasquale Malacaria (auth.), Masami Hagiya, John C. Mitchell (eds.) — Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings

Susumu Hayashi, Yukihide Takayama (auth.), Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.) — Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Most frequently terms