Proofs as Processes

Proofs as Processes

Bibliographic Details
Main Author:	Abramsky, S
Format:	Conference item
Published:	1994

Similar Items

Event domains, stable functions and proof-nets
by: Abramsky, S
Published: (2007)

Event Domains‚ Stable Functions and Proof Nets
by: Abramsky, S
Published: (2007)

Proof /
by: Plumpton, C. (Charles), et al.
Published: (1984)

Extracting proofs from tabled proof search
by: Miller, Dale., et al.
Published: (2013)

Proofs that really count : the art of combinatorial proof /
by: 238044 Benjamin, Arthur T., et al.
Published: (2003)

Infinite Analysis, Lucky Proof, and Guaranteed Proof in Leibniz
by: Rodriguez-Pereyra, G, et al.
Published: (2011)

Elementary set theory : proof techniques proof techniques /
by: 365632 Gordon, Carl E., et al.
Published: (1975)

Dealing with proofs
by: Ng, K.H., et al.
Published: (2009)

Rational proofs
by: Azar, Pablo Daniel, et al.
Published: (2012)

Commenting Proofs
by: Geiser, James R.
Published: (2004)

Proofs with Graphs
by: Curtis, S, et al.
Published: (1996)

Burden of proof
by: du Sautoy, M
Published: (2006)

Addicted to Proof
by: Shor, Peter Williston
Published: (2021)

Addicted to Proof
by: Shor, Peter
Published: (2021)

Bullet proof
by: Binner, J, et al.
Published: (2013)

Rational proofs
by: Azar, Pablo Daniel, et al.
Published: (2022)

Mill's proof
by: Mawson, T
Published: (2002)

Baby proof /
by: 401170 Giffin, Emily
Published: (2006)

Proofs and types /
by: 291662 Girard, Jean-Yves, et al.
Published: (1989)

Living proof /
by: Harvey, John, 1938-
Published: (1995)

Proof in geometry/
by: 240194 Fetisov, A. I.
Published: (1963)

Conjecture and proof /
by: 181611 Laczkovich, Miklos
Published: (2001)

Proof theory /
by: Aczel, Peter
Published: (2008)

Process Realizability
by: Abramsky, S
Published: (2000)

How to read and do proofs : an introduction to mathematical thought process /
by: 419318 Solow, Daniel
Published: (1982)

How to read and do proofs : an introduction to mathematical thought processes /
by: 419318 Solow, Daniel
Published: (1990)

How to read and do proofs : an introduction to mathematical thought processes /
by: 419318 Solow, Daniel
Published: (2005)

A labelled sequent calculus for BBI : proof theory and proof search
by: Hóu, Zhé, et al.
Published: (2020)

Error Proofing In Manufacturing.
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

Copmutationally Sound Proofs
by: Micali, Silvio
Published: (2023)

Modern Interactive Proofs
by: Holden, Dhiraj
Published: (2022)

Efficient holographic proofs
by: Russell, Alexander Craig
Published: (2007)

Probabilistically checkable proofs
by: Sudan, Madhu
Published: (2010)

Program Correctness Proofs
by: Hoare, C
Published: (1975)

Proof constructions and evaluations
by: Stylianides, G, et al.
Published: (2009)

Proof constructions and evaluations
by: Stylianides, A, et al.
Published: (2009)

Untangling Mechanized Proofs
by: Pit-Claudel, Cl?ment
Published: (2025)

More on Proofs of Knowledge
by: Halevi, Shai, et al.
Published: (2023)