Sciweavers

Share
CSL
2008
Springer

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

9 years 27 days 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)
books