Proof theory in the abstract

13 years 4 months ago

Download www.dpmms.cam.ac.uk

eory in the Abstract J. M. E. Hyland June 7, 2001 Dedicated to Anne Troelstra on the occasion of his 60th birthday: with great affection and respect, this small tribute to his influence. 1 Background

J. M. E. Hyland

Real-time Traffic

60th Birthday | Abstract J | APAL 2002 | Hyland June |

claim paper

» Abstract Interpretation of Proofs Classical Propositional Calculus

» Proofs Programs and Abstract Complexity

» A Simple Proof That SuperConsistency Implies Cut Elimination

» Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear ...

» Reasoning about Objectbased Calculi in CoInductive Type Theory and the Theory of Contexts

» The prospects for mathematical logic in the twentyfirst century

» Combining Type Theory and Untyped Set Theory

» Automating Proofs in Category Theory

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2002
Where	APAL
Authors	J. M. E. Hyland

Comments (0)

Sciweavers

Proof theory in the abstract

60th Birthday | Abstract J | APAL 2002 | Hyland June |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers