Henning Basold

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The directed Van Kampen theorem in Lean	2026-02-10	Paper
Composition and recursion for causal structures	2024-11-26	Paper
Enriching diagrams with algebraic operations	2024-10-30	Paper
Coinduction in uniform: foundations for corecursive proof search with Horn clauses Programming Languages and Systems	2023-11-24	Paper
Coinduction in Flow: The Later Modality in Fibrations	2023-02-03	Paper
Dependent inductive and coinductive types are fibrational dialgebras	2021-12-02	Paper
Dependent inductive and coinductive types are fibrational dialgebras (available as arXiv preprint)	2021-12-02	Paper
Session coalgebras: a coalgebraic view on session types and communication protocols (available as arXiv preprint)	2021-10-18	Paper
The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them Theory and Practice of Logic Programming	2020-12-13	Paper
Well-definedness and observational equivalence for inductive–coinductive programs Journal Of Logic And Computation	2019-07-29	Paper
Newton series, coinductively: a comparative study of composition Mathematical Structures in Computer Science	2018-12-04	Paper
Monoidal company for accessible functors	2018-08-13	Paper
Type theory based on dependent inductive and coinductive types Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Newton series, coinductively Theoretical Aspects of Computing - ICTAC 2015	2016-02-25	Paper
(Co)algebraic characterizations of signal flow graphs Lecture Notes in Computer Science	2014-06-02	Paper

Research outcomes over time

This page was built for person: Henning Basold