Sciweavers

APAL
2008

Call-by-name reduction and cut-elimination in classical logic

13 years 3 months ago
Call-by-name reduction and cut-elimination in classical logic
Abstract. We present a version of Herbelin's
Kentaro Kikuchi
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2008
Where APAL
Authors Kentaro Kikuchi
Comments (0)