Tag: lambda-calculus
Showing 2 posts
-
Publications 2023.07.01
Publications 2023.07.01
Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding
Tatsuya Abe and Daisuke Kimura. Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding....lambda-calculusdelimited continuationbilateralismdynamic binding
-
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