Buchumschlag

Lax Modal Lambda Calculi

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Valliappan, Nachiappan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the Expressivity of Typed Concurrent Calculi
von: Paulus, Joseph William Neal
Veröffentlicht: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
von: Kobayashi, Naoki
Veröffentlicht: (2024)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
von: Cerda, Rémy
Veröffentlicht: (2025)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
von: Matsuoka, Satoshi
Veröffentlicht: (2026)

The Lambda Calculus is Quantifiable
von: Maestracci, Valentin, et al.
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Layered Modal Type Theories
von: Hu, Jason Z. S., et al.
Veröffentlicht: (2023)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
von: Bertrand, Meven Lennon, et al.
Veröffentlicht: (2026)

A Graded Modal Dependent Type Theory with Erasure, Formalized
von: Abel, Andreas, et al.
Veröffentlicht: (2026)

Local Intuitionistic Modal Logics and Their Calculi
von: Balbiani, Philippe, et al.
Veröffentlicht: (2024)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
von: Hu, Jason Z. S., et al.
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Expressiveness Results for Timed Modal Mu-Calculi
von: Cleaveland, Rance, et al.
Veröffentlicht: (2023)

Intersection Types for a Computational Lambda-Calculus with Global State
von: de'Liguoro, Ugo, et al.
Veröffentlicht: (2021)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

A Probabilistic Choreography Language for PRISM
von: Carbone, Marco, et al.
Veröffentlicht: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

Positive Sharing and Abstract Machines
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2025)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
von: Grandury, Marcos, et al.
Veröffentlicht: (2025)

Expressive Power of One-Shot Control Operators and Coroutines
von: Kobayashi, Kentaro, et al.
Veröffentlicht: (2025)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
von: Elad, Neta, et al.
Veröffentlicht: (2025)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
von: Ukhanov, Evgeny
Veröffentlicht: (2025)

The Functional Machine Calculus III: Control
von: Heijltjes, Willem
Veröffentlicht: (2025)

Orthologic Type Systems
von: Guilloud, Simon, et al.
Veröffentlicht: (2025)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
von: Rowicki, Radosław Jan, et al.
Veröffentlicht: (2025)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
von: Saurin, Alexis
Veröffentlicht: (2025)

A Lazy, Concurrent Convertibility Checker
von: Courant, Nathanaëlle, et al.
Veröffentlicht: (2025)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
von: Tsukada, Takeshi, et al.
Veröffentlicht: (2025)

Coinductive Proofs for Temporal Hyperliveness
von: Correnson, Arthur, et al.
Veröffentlicht: (2025)

Constructive characterisations of the must-preorder for asynchrony
von: Bernardi, Giovanni, et al.
Veröffentlicht: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Extended Abstract: Mutable Objects with Several Implementations
von: Kaufmann, Matt, et al.
Veröffentlicht: (2025)

Cyclic Proofs in Hoare Logic and its Reverse
von: Brotherston, James, et al.
Veröffentlicht: (2025)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

Intrinsically Correct Algorithms and Recursive Coalgebras
von: Alexandru, Cass, et al.
Veröffentlicht: (2025)