Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ESOP
2006
Springer

favoriteEmaildiscussreport

93views Programming Languages» more ESOP 2006»

Approaches to Polymorphism in Classical Sequent Calculus

13 years 8 months ago

Approaches to Polymorphism in Classical Sequent Calculus

Download www.doc.ic.ac.uk

Alexander J. Summers, Steffen van Bakel

Real-time Traffic

ESOP 2006 | Programming Languages |

claim paper

Related Content

» Structured Sequent Calculi for Combining Intuitionistic and Classical FirstOrder Logic

» Implementing Cut Elimination A Case Study of Simulating Dependent Types in Haskell

» Systematic Semantic Tableaux for PLTL

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	ESOP
Authors	Alexander J. Summers, Steffen van Bakel

Comments (0)