Henning Basold

Available identifiers

zbMath Open basold.henningMaRDI QIDQ2233466

List of research outcomes

Publication	Date of Publication	Type
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	2023-11-24	Paper
Coinduction in Flow: The Later Modality in Fibrations	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5014439	2021-12-02	Paper
Session coalgebras: a coalgebraic view on session types and communication protocols	2021-10-18	Paper
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them	2020-12-13	Paper
Well-definedness and observational equivalence for inductive–coinductive programs	2019-07-29	Paper
Newton series, coinductively: a comparative study of composition	2018-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4580200	2018-08-13	Paper
Type Theory based on Dependent Inductive and Coinductive Types	2018-04-23	Paper
Newton Series, Coinductively	2016-02-25	Paper
(Co)Algebraic Characterizations of Signal Flow Graphs	2014-06-02	Paper

Research outcomes over time

This page was built for person: Henning Basold