Fully abstract models for effectful λ-calculi via category-theoretic logical relations

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)

Relation between classical and intuitionistic sequent calculi of temporal logic
द्वारा: Romas Alonderis
प्रकाशित: (2001-12-01)

Integrating Action Calculi and Description Logics
द्वारा: Drescher, C, और अन्य
प्रकाशित: (2007)

Dual-Context Calculi for Modal Logic
द्वारा: G. A. Kavvos
प्रकाशित: (2020-08-01)

Inductive Definition and Domain Theoretic Properties of Fully Abstract
द्वारा: Vladimir Sazonov
प्रकाशित: (2007-09-01)

Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces
द्वारा: B. Valiron, और अन्य
प्रकाशित: (2014-12-01)

Internal proof calculi for modal logics with separating conjunction
द्वारा: Demri, S, और अन्य
प्रकाशित: (2021)

Cut-Free Gentzen Sequent Calculi for Tense Logics
द्वारा: Zhe Lin, और अन्य
प्रकाशित: (2023-06-01)

Full Abstraction in the Lazy λ−calculus
द्वारा: Abramsky, S, और अन्य
प्रकाशित: (1993)

Categorical abstract machines for higher-order typed lambda-calculi
द्वारा: Ritter, E
प्रकाशित: (1994)

Automata, logic and games for the λ-calculus
द्वारा: Ong, C
प्रकाशित: (2016)

The difference λ-calculus: a language for difference categories
द्वारा: Alvarez-Picallo, M, और अन्य
प्रकाशित: (2020)

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
द्वारा: Sopo Pkhakadze, और अन्य
प्रकाशित: (2020-07-01)

Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics
द्वारा: Marcelo E. Coniglio, और अन्य
प्रकाशित: (2013-03-01)

Contraction-free calculi for modal logics S5 and KD45
द्वारा: Julius Andrikonis, और अन्य
प्रकाशित: (2011-12-01)

Games and Full Abstraction for the Lazy λ−calculus
द्वारा: Abramsky, S, और अन्य
प्रकाशित: (1995)

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
द्वारा: Kammar, O, और अन्य
प्रकाशित: (2018)

Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors
द्वारा: Grefenstette, E
प्रकाशित: (2013)

Psi-calculi: a framework for mobile processes with nominal data and logic
द्वारा: Jesper Bengtson, और अन्य
प्रकाशित: (2011-03-01)

Involutions on Relational Program Calculi
द्वारा: I.M. Rewitzky, और अन्य
प्रकाशित: (2008-12-01)

Fully Complete Minimal PER Models for the Simply Typed λ−calculus
द्वारा: Abramsky, S, और अन्य
प्रकाशित: (2001)

Sets, logic and categories /
द्वारा: Cameron, Peter J. (Peter Jephson), 1947-
प्रकाशित: (1998)

A convenient category for higher-order probability theory
द्वारा: Heunen, C, और अन्य
प्रकाशित: (2017)

Interaction Categories (Extended Abstract)
द्वारा: Abramsky, S
प्रकाशित: (1993)

Abstract Interpretation‚ Logical Relations and Kan Extensions
द्वारा: Abramsky, S
प्रकाशित: (1990)

Functional calculi for sectorial operators and related function theory
द्वारा: Batty, CJK, और अन्य
प्रकाशित: (2021)

Categories for dynamic epistemic logic
द्वारा: Kishida, K
प्रकाशित: (2017)

Introduction to categories and categorical logic
द्वारा: Abramsky, S, और अन्य
प्रकाशित: (2010)

Topoi. The categorial analysis of logic /
द्वारा: 255858 Goldblatt, Robert
प्रकाशित: (1983)

Reasoning, logic, and category mistakes
द्वारा: J. Martín Castro-Manzano
प्रकाशित: (2017-04-01)

Categories for Dynamic Epistemic Logic
द्वारा: Kohei Kishida
प्रकाशित: (2017-07-01)

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
द्वारा: Rajeev Gore, और अन्य
प्रकाशित: (2011-05-01)

Toy Quantum Categories (Extended Abstract)
द्वारा: Coecke, B, और अन्य
प्रकाशित: (2011)

Toy quantum categories (extended abstract)
द्वारा: Coecke, B, और अन्य
प्रकाशित: (2011)

Abstract Tensor Systems as Monoidal Categories
द्वारा: Kissinger, A
प्रकाशित: (2014)

Logical abstract interpretation
द्वारा: D'Silva, V, और अन्य
प्रकाशित: (2013)