Henning Basold

Available identifiers

zbMath Open basold.henningMaRDI QIDQ2233466

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Henning Basold