Sciweavers

CSL
2008
Springer

On the Relations between the Syntactic Theories of lambda-mu-Calculi

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
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where CSL
Authors Alexis Saurin
Comments (0)