Sciweavers

Share
APLAS
2007
ACM

Call-by-Name and Call-by-Value in Normal Modal Logic

9 years 5 months ago
Call-by-Name and Call-by-Value in Normal Modal Logic
Abstract. This paper provides a call-by-name and a call-by-value calculus, both of which have a Curry-Howard correspondence to the minimal normal logic K. The calculi are extensions of the
Yoshihiko Kakutani
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where APLAS
Authors Yoshihiko Kakutani
Comments (0)
books