Copertina

A dependently-typed calculus of event telicity and culminativity

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kovalev, Pavel, Angiuli, Carlo
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computation and Language Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Internalizing Representation Independence with Univalence
di: Angiuli, Carlo, et al.
Pubblicazione: (2020)

Controlling unfolding in type theory
di: Gratzer, Daniel, et al.
Pubblicazione: (2022)

Encoding call-by-push-value in the pi-calculus
di: Bennetzen, Benjamin, et al.
Pubblicazione: (2025)

Wiring the Pi-calculus to Denotational Semantics
di: Sakayori, Ken, et al.
Pubblicazione: (2026)

A concrete model for a typed linear algebraic lambda calculus
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2018)

S4 modal sequent calculus as intermediate logic and intermediate language
di: Caspar, Jean, et al.
Pubblicazione: (2026)

Frex: dependently-typed algebraic simplification
di: Allais, Guillaume, et al.
Pubblicazione: (2023)

Interpolation for the two-way modal mu-calculus
di: Kloibhofer, Johannes, et al.
Pubblicazione: (2025)

Cut-elimination for the alternation-free modal mu-calculus
di: Afshari, Bahareh, et al.
Pubblicazione: (2025)

Making first order linear logic a generating grammar
di: Slavnov, Sergey
Pubblicazione: (2022)

Verifying Functional Correctness Properties At the Level of Java Bytecode
di: Paganoni, Marco, et al.
Pubblicazione: (2024)

Reasoning About Exceptional Behavior At the Level of Java Bytecode
di: Paganoni, Marco, et al.
Pubblicazione: (2024)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

A linear linear lambda-calculus
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)

A formalization of System I with type Top in Agda
di: Séttimo, Agustín, et al.
Pubblicazione: (2026)

The calculus of neo-Peircean relations
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

Multi types and reasonable space
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)

Resource approximation for the $λμ$-calculus
di: Barbarossa, Davide
Pubblicazione: (2024)

The higher dimensional propositional calculus
di: Bucciarelli, Antonio, et al.
Pubblicazione: (2022)

Kleene algebra with commutativity conditions is undecidable
di: de Amorim, Arthur Azevedo, et al.
Pubblicazione: (2024)

Generic bidirectional typing for dependent type theories
di: Felicissimo, Thiago
Pubblicazione: (2023)

Higher order differential calculus in mathlib
di: Gouëzel, Sébastien
Pubblicazione: (2025)

An implicit function theorem for the stream calculus
di: Boreale, Michele, et al.
Pubblicazione: (2023)

Approximation theory for distant Bang calculus
di: Chardonnet, Kostia, et al.
Pubblicazione: (2026)

On the complexity of normalization for the planar $λ$-calculus
di: Das, Anupam, et al.
Pubblicazione: (2024)

Profinite trees, through Lawvere theories and the lambda-calculus
di: Moreau, Vincent
Pubblicazione: (2024)

Simply typed convertibility is TOWER-complete even for safe lambda-terms
di: Nguyên, Lê Thành Dũng
Pubblicazione: (2023)

A Straightforward Pipeline for Targeted Entailment and Contradiction Detection
di: Sulc, Antonin
Pubblicazione: (2025)

A Categorical Framework for Modeling with Stock and Flow Diagrams
di: Baez, John C., et al.
Pubblicazione: (2022)

Global types and event structure semantics for asynchronous multiparty sessions
di: Castellani, Ilaria, et al.
Pubblicazione: (2021)

Basic interactive algorithms: Preview
di: Gurevich, Yuri
Pubblicazione: (2025)

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
di: Joosten, Joost J., et al.
Pubblicazione: (2026)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
di: Li, Jinzheng, et al.
Pubblicazione: (2026)

NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic
di: Chen, Peng
Pubblicazione: (2026)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
di: Bauer, Esaïe, et al.
Pubblicazione: (2025)

Formula size game and model checking for modal substitution calculus
di: Ahvonen, Veeti, et al.
Pubblicazione: (2025)

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
di: Mironov, Andrew M.
Pubblicazione: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
di: Spadetto, Matteo
Pubblicazione: (2023)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
di: Komel, Anja Petković, et al.
Pubblicazione: (2025)