The lambda Delta -calculus (1993)
by
Niels Jakob Rehof
,
Morten Heine Sørensen
,
Morten Heine S��rensen
| Citations: | 5 - 0 self |
BibTeX
@MISC{Rehof93thelambda,
author = {Niels Jakob Rehof and Morten Heine Sørensen and Morten Heine S��rensen},
title = {The lambda Delta -calculus},
year = {1993}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we attempt to bring together the line of research in typed and untyped control operators conducted in Computer Science with that of classical proof normalization conducted in Logic. Specifically we describe a construction which
Citations
No citations identified.
