Call-by-name and call-by-value in normal modal logic
Cached
Download Links
- [hagi.is.s.u-tokyo.ac.jp]
- [nicosia.is.s.u-tokyo.ac.jp]
- DBLP
Other Repositories/Bibliography
by
Yoshihiko Kakutani
| Citations: | 1 - 1 self |
BibTeX
@MISC{Kakutani_call-by-nameand,
author = {Yoshihiko Kakutani},
title = {Call-by-name and call-by-value in normal modal logic},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 λµ-calculi, and their semantics are given by CPS transformations into a calculus corresponding to the intuitionistic fragment of K. The duality between call-by-name and call-by-value with modalities is investigated in our calculi. 1
