Tag: natural deduction
Showing 1 posts
-
Publications 2022.11.18
Publications 2022.11.18
A Typed Lambda-Calculus with First-Class Configurations A Typed Lambda-Calculus with First-Class Configurations
Tatsuya Abe and Daisuke Kimura. A Typed Lambda-Calculus with First-Class Configurations. Journal of Logic and ...lambda-calculusnatural deductioncall-by-valuecall-by-namedualitydelimited continuationbilateralism