Imagen de Portada

The very dependent recursive structure of iterated parametricity in indexed form

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Herbelin, Hugo, Ramachandra, Ramkumar
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A parametricity-based formalization of semi-simplicial and semi-cubical sets
por: Herbelin, Hugo, et al.
Publicado: (2023)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
por: Herbelin, Hugo
Publicado: (2024)

On the logical structure of choice and bar induction principles
por: Brede, Nuria, et al.
Publicado: (2021)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
por: Herbelin, Hugo, et al.
Publicado: (2024)

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
por: Ariola, Zena M., et al.
Publicado: (2026)

Complexity results for modal logic with recursion via translations and tableaux
por: Aceto, Luca, et al.
Publicado: (2023)

Stabilized profunctors and stable species of structures
por: Fiore, Marcelo, et al.
Publicado: (2023)

Characterizations of monadically dependent tree-ordered weakly sparse structures
por: Buffière, Hector, et al.
Publicado: (2026)

Profinite lambda-terms and parametricity
por: van Gool, Sam, et al.
Publicado: (2023)

A very sharp threshold for first order logic distinguishability of random graphs
por: Benjamini, Itai, et al.
Publicado: (2022)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
por: Férée, Hugo, et al.
Publicado: (2026)

Realizing the totally unordered structure of ordinals
por: Fontanella, Laura, et al.
Publicado: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
por: Gaßner, Christine
Publicado: (2025)

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

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

Topologically valued transition structures
por: Collinson, Matthew
Publicado: (2026)

Local structure of idempotent algebras I
por: Bulatov, Andrei A.
Publicado: (2020)

Expiring opacity problems in parametric timed automata
por: André, Étienne, et al.
Publicado: (2024)

Generic bidirectional typing for dependent type theories
por: Felicissimo, Thiago
Publicado: (2023)

The equivariant model structure on cartesian cubical sets
por: Awodey, Steve, et al.
Publicado: (2024)

A categorical and logical framework for iterated protocols
por: Goubault, Eric, et al.
Publicado: (2025)

CHTW-systems with resource-depended parameters. CHTW(R)-systems
por: Chunikhin, Alexander Yu.
Publicado: (2024)

Compositional pre-processing for automated reasoning in dependent type theory
por: Blot, Valentin, et al.
Publicado: (2022)

Attractors of Parikh mapping iterations
por: Chunikhin, Alexander
Publicado: (2024)

A Dynamic Deontic Simplicial Logic for Joint Commitments
por: Cignarale, Giorgio, et al.
Publicado: (2026)

On the algorithmic structure of Dialectica realisers
por: Barbarossa, Davide, et al.
Publicado: (2025)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
por: Clairambault, Pierre, et al.
Publicado: (2023)

The equational theory of the Weihrauch lattice with (iterated) composition
por: Pradic, Cécilia
Publicado: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
por: Benedikt, Michael, et al.
Publicado: (2026)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
por: Akshay, S., et al.
Publicado: (2022)

Sequent Calculi for Data-Aware Modal Logics
por: Areces, Carlos, et al.
Publicado: (2025)

On first-order definable operations on relational structures
por: Courcelle, Bruno
Publicado: (2026)

Distributed controller synthesis for deadlock avoidance
por: Gimbert, Hugo, et al.
Publicado: (2022)

Universal quantification makes automatic structures hard to decide
por: Haase, Christoph, et al.
Publicado: (2023)

Normal forms in cubical type theory
por: Huang, Xu
Publicado: (2026)

A dependently-typed calculus of event telicity and culminativity
por: Kovalev, Pavel, et al.
Publicado: (2025)

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

Logical forms complement probability in understanding language model (and human) performance
por: Wang, Yixuan, et al.
Publicado: (2025)