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

Linear logic in computer science

Main
Computers - Programming
Linear logic in computer science

Linear logic in computer science

Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott

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:

Computers - Programming

Year:

2004

Publisher:

CUP

Language:

english

Pages:

392

ISBN 10:

0521608570

ISBN 13:

9780521608572

Series:

London Mathematical Society Lecture Note Series 316

File:

DJVU, 2.28 MB

IPFS:

,

english, 2004

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

Victor Eijkhout — The computer science of TeX and LaTeX

T. Brauner — Introduction to Linear Logic

Jean-Yves Girard — Linear Logic

Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott — Linear logic in computer science

Jean-Yves Girard, Yves Lafont, Paul Taylor — Proofs and Types

Jean-Yves Girard, Yves Lafont, Laurent Regnier — Advances in linear logic

Jean-Yves Girard — The Blind Spot: Lectures on Logic

Torben Braüner — Introduction to Linear Logic

Torben Braüner — Introduction to Linear Logic

Torben Braüner — Introduction to Linear Logic

Torben Braüner [Braüner, Torben] — Introduction to Linear Logic

Torben Braüner — Introduction to Linear Logic

Torben Braüner — Introduction To Linear Logic Brauner

Michael Moortgat — Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus [PhD Thesis]

Brauner T. — Introduction to linear logic

Dirk Roorda — Resource Logics: Proof-theoretical Investigations [PhD Thesis]

Patrick D. Lincoln — Computational Aspects of Linear Logic (Foundations of Computing Series)

Queiroz, Ruy J. G. B. de (ed.) — Logic for concurrency and synchronisation

Mints, Grigorii E — Selected papers in proof theory

Sara Negri, Jan von Plato; Aarne Ranta (Appendix) — Structural Proof Theory

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

Sara Negri, Jan von Plato; Aarne Ranta (Appendix) — Structural Proof Theory

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

A. S. Troelstra — Lectures on Linear Logic

A. M. Ungar — Normalization, cut-elimination and the theory of proofs

Jan von Plato — The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Ruy J.G.B. de Queiroz (ed.) — Logic for Concurrency and Synchronisation

Dieter Probst;Peter Schuster — Concepts of Proof in Mathematics, Philosophy, and Computer Science

Pierre-Louis Curien, Hugo Herbelin, Jean-louis Krivine, Paul-Andre Mellies — Interactive Models of Computation and Program Behavior

Claudia Casadio, Philip J. Scott, (eds.) — Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

Jean-Yves Girard — The Blind Spot: Lectures on Logic

Reinhard Kahle, Michael Rathjen (eds.) — Gentzen's Centenary, The Quest for Consistency

Samson Abramsky, Guy McCusker (auth.), Mogens Nielsen, Wolfgang Thomas (eds.) — Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

Marcelo Fiore, Chung-Kil Hur (auth.), Pierre-Louis Curien (eds.) — Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Moot, Richard Cornelis Antonius;Retoré, Christian — The logic of categorial grammars: a deductive account of natural language syntax and semantics

Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott, (eds.) — Categories and Types in Logic, Language, and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

Most frequently terms