Proof theory in the abstract

13 years 11 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