Sciweavers

Share
CSL
2008
Springer
9 years 1 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
books