Buchumschlag

The Size-Change Principle for Mixed Inductive and Coinductive types

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hyvernat, Pierre
Format:	Preprint
Veröffentlicht:	2024
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

Totality for Mixed Inductive and Coinductive Types
von: Hyvernat, Pierre
Veröffentlicht: (2019)

Formalising Inductive and Coinductive Containers
von: Damato, Stefania, et al.
Veröffentlicht: (2024)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types
von: Bronsveld, Steven, et al.
Veröffentlicht: (2025)

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

Coinductive Streams in Monoidal Categories
von: Di Lavore, Elena, et al.
Veröffentlicht: (2022)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
von: Stoltenow, Lara, et al.
Veröffentlicht: (2024)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
von: Grabmayer, Clemens
Veröffentlicht: (2022)

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
von: Kolesar, John, et al.
Veröffentlicht: (2025)

Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
von: Cerda, Rémy, et al.
Veröffentlicht: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
von: Santo, José Espírito, et al.
Veröffentlicht: (2020)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
von: van Collem, Simcha, et al.
Veröffentlicht: (2025)

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

Topological Semantics for Common Inductive Knowledge
von: Namachivayam, Siddharth
Veröffentlicht: (2026)

Rewriting and Inductive Reasoning
von: Hajdu, Márton, et al.
Veröffentlicht: (2024)

List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)

Equational and Inductive Reasoning for Maude in Athena
von: Sanabria, Mateo, et al.
Veröffentlicht: (2026)

Property Checking Without Inductive Invariants
von: Goldberg, Eugene
Veröffentlicht: (2016)

Coinductive well-foundedness
von: Petrakis, Iosif
Veröffentlicht: (2025)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
von: Su, Wanyun, et al.
Veröffentlicht: (2024)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
von: Sangiorgi, Davide
Veröffentlicht: (2024)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
von: Dardik, Ian, et al.
Veröffentlicht: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
von: Ratschan, Stefan, et al.
Veröffentlicht: (2026)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
von: Meseguer, Jose
Veröffentlicht: (2024)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2023)

A Simple Constructive Bound on Circuit Size Change Under Truth Table Perturbation
von: Krinkin, Kirill
Veröffentlicht: (2026)

Bijective proofs for Eulerian numbers of types B and D
von: Santocanale, Luigi
Veröffentlicht: (2021)

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

Can LLM Aid in Solving Constraints with Inductive Definitions?
von: Feng, Weizhi, et al.
Veröffentlicht: (2026)

Differentiable Inductive Logic Programming in High-Dimensional Space
von: Purgał, Stanisław J., et al.
Veröffentlicht: (2022)

Compositional pre-processing for automated reasoning in dependent type theory
von: Blot, Valentin, et al.
Veröffentlicht: (2022)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Delay-Optimum Adder Circuits with Linear Size
von: Brenner, Ulrich, et al.
Veröffentlicht: (2024)

Constructing (Co)inductive Types via Large Sizes
von: Laarakker, Bastiaan, et al.
Veröffentlicht: (2026)

Central H-spaces and banded types
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2023)

Modular Multiparty Sessions with Mixed Choice
von: Barbanera, Franco, et al.
Veröffentlicht: (2025)

Asynchronous Multiparty Sessions with Mixed Choice
von: Barbanera, Franco, et al.
Veröffentlicht: (2026)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
von: Pan, Yudai, et al.
Veröffentlicht: (2021)

Generic bidirectional typing for dependent type theories
von: Felicissimo, Thiago
Veröffentlicht: (2023)