Sciweavers

70
Voted
CSL
2008
Springer
14 years 12 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