Henning Basold

33 papers A* 1A 2B 4C 4Journal 17Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Central Limits via Dilated Categories.
CoRR
Henning Basold, Oisin Flynn-Connolly, Chase Ford, Hao Wang
2026 C conf
Fan-Causality and Uniform Continuity on Final Coalgebras.
RAMICS
Henning Basold, Tanjona Ralaivaosaona, Jurriaan Rot
2025 J jnl
An Expressive Coalgebraic Modal Logic for Cellular Automata.
CoRR
Henning Basold, Chase Ford, Lulof Piree
2025 J jnl
Separation Logic of Generic Resources via Sheafeology.
CoRR
Berend van Starkenburg, Henning Basold, Chase Ford
2024 — conf
Enriching Diagrams with Algebraic Operations.
FoSSaCS (1)
Alejandro Villoria, Henning Basold, Alfons Laarman
2024 C conf
Irrationality of Process Replication for Higher-Dimensional Automata.
RAMiCS
Thomas Baronner, Henning Basold, Márton Hablicsek
2024 B conf
The Directed Van Kampen Theorem in Lean.
ITP
Henning Basold, Peter Bruin, Dominique Lawson
2023 B conf
Composition and Recursion for Causal Structures.
CALCO
Henning Basold, Tanjona Ralaivaosaona
2023 J jnl
Enriching Diagrams with Algebraic Operations.
CoRR
Alejandro Villoria, Henning Basold, Alfons Laarman
2023 J jnl
Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication.
CoRR
Henning Basold, Thomas Baronner, Márton Hablicsek
2023 J jnl
The Directed Van Kampen Theorem in Lean.
CoRR
Henning Basold, Peter Bruin, Dominique Lawson
2022 — ed.
27th International Conference on Types for Proofs and Programs, TYPES 2021, Leiden, The Netherlands (Virtual Conference), June 14-18, 2021
TYPES
Henning Basold, Jesper Cockx, Silvia Ghilezan
2022 J jnl
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types.
ACM Trans. Program. Lang. Syst.
Alex C. Keizer, Henning Basold, Jorge A. Pérez
2021 A conf
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.
ESOP
Alex C. Keizer, Henning Basold, Jorge A. Pérez
2020 J jnl
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.
CoRR
Alex C. Keizer, Henning Basold, Jorge A. Pérez
2020 J jnl
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them.
CoRR
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
2020 J jnl
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them.
Theory Pract. Log. Program.
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
2019 B conf
Coinduction in Flow: The Later Modality in Fibrations.
CALCO
Henning Basold
2019 A conf
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.
ESOP
Henning Basold, Ekaterina Komendantskaya, Yue Li
2019 J jnl
Newton series, coinductively: a comparative study of composition.
Math. Struct. Comput. Sci.
Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
2019 J jnl
Well-definedness and observational equivalence for inductive-coinductive programs.
J. Log. Comput.
Henning Basold, Helle Hvid Hansen
2018 J jnl
Breaking the Loop: Recursive Proofs for Coinductive Predicates in Fibrations.
CoRR
Henning Basold
2018 J jnl
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.
CoRR
Henning Basold, Ekaterina Komendantskaya, Yue Li
2018 — —
Mixed Inductive-Coinductive Reasoning Types, Programs and Logic.
Henning Basold
2017 J jnl
Higher Inductive Types in Programming.
J. Univers. Comput. Sci.
Henning Basold, Herman Geuvers, Niels van der Weide
2017 B conf
Monoidal Company for Accessible Functors.
CALCO
Henning Basold, Damien Pous, Jurriaan Rot
2016 A* conf
Type Theory based on Dependent Inductive and Coinductive Types.
LICS
Henning Basold, Herman Geuvers
2016 J jnl
Type Theory based on Dependent Inductive and Coinductive Types.
CoRR
Henning Basold, Herman Geuvers
2015 — conf
Dependent Inductive and Coinductive Types are Fibrational Dialgebras.
FICS
Henning Basold
2015 C conf
Newton Series, Coinductively.
ICTAC
Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
2014 — conf
(Co)Algebraic Characterizations of Signal Flow Graphs.
Horizons of the Mind
Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten
2014 C conf
An Open Alternative for SMT-Based Verification of Scade Models.
FMICS
Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius
2014 J jnl
Transformation von Scade-Modellen zur SMT-basierten Verifikation.
CoRR
Henning Basold