Linear logic in computer science

Linear logic in computer science / edited by Thomas Ehrhard ... [et al.].

Saved in:

Bibliographic Details
Other Authors:	Ehrhard, Thomas, 1958-
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2004.
Series:	London Mathematical Society lecture note series ; 316
Subjects:	Proof theory. Computer science > Mathematics.

Similar Items

Proof Logic and Formalization.
by: Detlefsen, Michael, 1948-
Published: (1992)

Concepts of proof in mathematics, philosophy, and computer science
Published: (2016)

Conditional and preferential logics : proof methods and theorem proving
by: Pozzato, Gian Luca
Published: (2010)

Arnon Avron on semantics and proof theory of non-classical logics
Published: (2021)

On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis
by: Safarik, Pavol
Published: (2014)

The Nuts and Bolts of Proofs.
by: Cupillari, Antonella
Published: (2005)

Ways of proof theory
by: Schindler, Ralf
Published: (2010)

Arithmetic, proof theory, and computational complexity
Published: (1993)

Ordinal analysis with an introduction to proof theory
by: Arai, Toshiyasu
Published: (2020)

Proof Theory
by: Jervell, Herman Ruge
Published: (2013)

Theoremus : a student's guide to mathematical proofs
by: Cruz, Lito Perez
Published: (2021)

An introduction to proof theory : normalization, cut-elimination, and consistency proofs
by: Mancosu, Paolo, et al.
Published: (2021)

Charming Proofs : a Journey into Elegant Mathematics
Published: (2011)

Reductive logic and proof-search : proof theory, semantics, and control
by: Pym, David J., et al.
Published: (2004)

Proving in the elementary mathematics classroom
by: Stylianides, Andreas J.
Published: (2016)

An introduction to mathematical proofs
by: Loehr, Nicholas A.
Published: (2020)

Proof theory : sequent calculi and related formalisms
by: Bimbó, Katalin, 1963-
Published: (2014)

An Introduction to Non-Classical Logic : From If to Is
by: Priest, Graham
Published: (2008)

Tracking reason : proof, consequence, and truth
by: Azzouni, Jody
Published: (2006)

Proofs and types
by: Girard, Jean-Yves
Published: (1990)

Algebra of proofs
by: Szabo, M. E.
Published: (1978)

Complexity of proofs and their transformations in axiomatic theories
by: Orevkov, V. P.
Published: (1993)

Handbook of proof theory
Published: (1998)

An introduction to mathematical reasoning : numbers, sets, and functions
by: Eccles, Peter J., 1945-
Published: (1997)

An accompaniment to higher mathematics
by: Exner, George R.
Published: (1996)

Proof theory
by: Schütte, K. (Kurt)
Published: (1977)

Proof theory : an introduction
by: Pohlers, Wolfram
Published: (1989)

Proof theory
by: Takeuti, Gaisi, 1926-
Published: (1987)

Handbook of Mathematical Induction.
by: Gunderson, David S.
Published: (2014)

The moment of proof : mathematical epiphanies
by: Benson, Donald C.
Published: (2000)

Sequents and trees : an introduction to the theory and applications of propositional sequent calculi
by: Indrzejczak, Andrzej
Published: (2021)

Tableau systems for first order number theory and certain higher order theories
by: Toledo, Sue Ann, 1940-
Published: (1975)

Lectures on the Curry-Howard Isomorphism.
by: Urzyczyn, Pawel
Published: (2006)

ISILC Proof Theory Symposium : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Published: (1975)

Memoirs of a Proof Theorist : Gödel and Other Logicians.
by: Passell, Nicholas
Published: (2003)

Logic and Computation
Published: (1990)

Hanbdook of logic in computer science. Volume 5, Logic and algebraic methods
Published: (2020)

Axiomatic thinking. I
Published: (2022)

Logical Foundations of Proof Complexity.
by: Cook, Stephen, 1948-
Published: (2010)

The legacy of Kurt Schütte
Published: (2020)