Fully abstract models for effectful λ-calculi via category-theoretic logical relations
We present a construction which, under suitable assumptions, takes a model of Moggi’s computational λ-calculus with sum types, effect operations and primitives, and yields a model that is adequate and fully abstract. The construction, which uses the theory of fibrations, categorical glueing, ⊤⊤-lift...
প্রধান লেখক: | Kammar, O, Katsumata, S-Y, Saville, P |
---|---|
বিন্যাস: | Conference item |
ভাষা: | English |
প্রকাশিত: |
Association for Computing Machinery
2022
|
অনুরূপ উপাদানগুলি
অনুরূপ উপাদানগুলি
-
A Fully Abstract Symbolic Semantics for Psi-Calculi
অনুযায়ী: Magnus Johansson, অন্যান্য
প্রকাশিত: (2010-02-01) -
Implicit automata in typed λ-calculi I: Aperiodicity in a non-commutative logic
অনুযায়ী: Nguyễn, LTD, অন্যান্য
প্রকাশিত: (2020) -
Heuristic principles and logical calculi /
অনুযায়ী: 323486 Serebryannikov, Oleg Fedorovich
প্রকাশিত: (1972) -
On Graphical Calculi for Modal Logics
অনুযায়ী: Paulo A. S. Veloso, অন্যান্য
প্রকাশিত: (2016-12-01) -
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic
অনুযায়ী: Luís Pinto, অন্যান্য
প্রকাশিত: (2011-01-01)