Sciweavers

CSL
2008
Springer
13 years 5 months ago
On the Relations between the Syntactic Theories of lambda-mu-Calculi
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
Alexis Saurin