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

• Type: Conference
• Year: 2007
• Where: APLAS
• Authors: Yoshihiko Kakutani
• Keywords: APLAS 2007, Call-by-name, Call-by-value Calculus, Minimal Normal Logic, Programming Languages