Henning Basold

According to our database, Henning Basold authored at least 20 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Enriching Diagrams with Algebraic Operations.

Alejandro Villoria, Henning Basold, Alfons Laarman

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

The Directed Van Kampen Theorem in Lean.

Henning Basold, Peter Bruin, Dominique Lawson

CoRR, 2023

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication.

Henning Basold, Thomas Baronner, Márton Hablicsek

CoRR, 2023

Composition and Recursion for Causal Structures.

Henning Basold, Tanjona Ralaivaosaona

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types.

Alex C. Keizer, Henning Basold, Jorge A. Pérez

ACM Trans. Program. Lang. Syst., 2022

2021

Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.

Alex C. Keizer, Henning Basold, Jorge A. Pérez

Proceedings of the Programming Languages and Systems, 2021

2020

The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them.

Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold

Theory Pract. Log. Program., 2020

2019

Newton series, coinductively: a comparative study of composition.

Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten

Math. Struct. Comput. Sci., 2019

Well-definedness and observational equivalence for inductive-coinductive programs.

Henning Basold, Helle Hvid Hansen

J. Log. Comput., 2019

Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.

Henning Basold, Ekaterina Komendantskaya, Yue Li

Proceedings of the Programming Languages and Systems, 2019

Coinduction in Flow: The Later Modality in Fibrations.

Henning Basold

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Breaking the Loop: Recursive Proofs for Coinductive Predicates in Fibrations.

Henning Basold

CoRR, 2018

2017

Higher Inductive Types in Programming.

Henning Basold, Herman Geuvers, Niels van der Weide

J. Univers. Comput. Sci., 2017

Monoidal Company for Accessible Functors.

Henning Basold, Damien Pous, Jurriaan Rot

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Type Theory based on Dependent Inductive and Coinductive Types.

Henning Basold, Herman Geuvers

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Dependent Inductive and Coinductive Types are Fibrational Dialgebras.

Henning Basold

Proceedings of the Proceedings Tenth International Workshop on Fixed Points in Computer Science, 2015

Newton Series, Coinductively.

Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Transformation von Scade-Modellen zur SMT-basierten Verifikation.

Henning Basold

CoRR, 2014

An Open Alternative for SMT-Based Verification of Scade Models.

Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

(Co)Algebraic Characterizations of Signal Flow Graphs.

Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014