Buchumschlag

Profinite lambda-terms and parametricity

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	van Gool, Sam, Melliès, Paul-André, Moreau, Vincent
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Profinite trees, through Lawvere theories and the lambda-calculus
von: Moreau, Vincent
Veröffentlicht: (2024)

A cartesian closed fibration of higher-order regular languages
von: Melliès, Paul-André, et al.
Veröffentlicht: (2026)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
von: Moreau, Vincent, et al.
Veröffentlicht: (2023)

The Latent Space of Equational Theories
von: Berlioz, Luis, et al.
Veröffentlicht: (2026)

The categorical contours of the Chomsky-Schützenberger representation theorem
von: Melliès, Paul-André, et al.
Veröffentlicht: (2023)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
von: Mangel, Éléonore, et al.
Veröffentlicht: (2025)

An extended type system with lambda-typed lambda-expressions (extended version)
von: Weber, Matthias
Veröffentlicht: (2018)

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

A linear linear lambda-calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2022)

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

Substitution in the lambda Calculus and the role of the Curry School
von: Kamareddine, Fairouz
Veröffentlicht: (2024)

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
von: Nogueira, Pablo, et al.
Veröffentlicht: (2022)

Uniform Interpolation
von: van Gool, Sam
Veröffentlicht: (2025)

Expiring opacity problems in parametric timed automata
von: André, Étienne, et al.
Veröffentlicht: (2024)

Groupoidal Realizability for Intensional Type Theory
von: Speight, Sam
Veröffentlicht: (2024)

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

The very dependent recursive structure of iterated parametricity in indexed form
von: Herbelin, Hugo, et al.
Veröffentlicht: (2026)

Intentic Semantics for Potentialist Truthmaking
von: Gorbow, Paul
Veröffentlicht: (2026)

Universal Horn Sentences and the Joint Embedding Property
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2021)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
von: Ayhan, Sara
Veröffentlicht: (2023)

Impredicative Encodings of (Higher) Inductive Types
von: Awodey, Steve, et al.
Veröffentlicht: (2018)

Proof Theory and Decision Procedures for Deontic STIT Logics
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Uniform interpolation with constructive diamond
von: van der Giessen, Iris, et al.
Veröffentlicht: (2026)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

ZFLean: a framework for set-level mathematics in Lean
von: Trélat, Vincent
Veröffentlicht: (2026)

Positive and monotone fragments of FO and LTL
von: Kuperberg, Denis, et al.
Veröffentlicht: (2024)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
von: Arias, Jaime, et al.
Veröffentlicht: (2024)

On the Possibilities of Hypercomputing Supertasks
von: Müller, Vincent C.
Veröffentlicht: (2025)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
von: Pinsker, Michael, et al.
Veröffentlicht: (2025)

$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
von: Cohen, Liron, et al.
Veröffentlicht: (2023)

Runtime Verification for LTL in Stochastic Systems
von: Esparza, Javier, et al.
Veröffentlicht: (2025)

Extended Resolution Clause Learning via Dual Implication Points
von: Buss, Sam, et al.
Veröffentlicht: (2024)

A unified rule format for bounded nondeterminism in SOS with terms as labels
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

Regular resolution effectively simulates resolution
von: Buss, Sam, et al.
Veröffentlicht: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

A Complete V-Equational System for Graded lambda-Calculus
von: Dahlqvist, Fredrik, et al.
Veröffentlicht: (2023)

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
von: Fiuk, Oskar, et al.
Veröffentlicht: (2025)

On the complexity of Maslov's class $\overline{\text{K}}$
von: Fiuk, Oskar, et al.
Veröffentlicht: (2024)

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