The following pages link to Henning Basold (Q2233466):
Displaying 12 items.
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Newton Series, Coinductively (Q2787418) (← links)
- Newton series, coinductively: a comparative study of composition (Q4559600) (← links)
- (Q4580200) (← links)
- Type Theory based on Dependent Inductive and Coinductive Types (Q4635888) (← links)
- (Q5014439) (← links)
- The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them (Q5140030) (← links)
- Well-definedness and observational equivalence for inductive–coinductive programs (Q5225850) (← links)
- (Co)Algebraic Characterizations of Signal Flow Graphs (Q5418958) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- Enriching diagrams with algebraic operations (Q6629455) (← links)
- Composition and recursion for causal structures (Q6643064) (← links)
