Follow
Henning Basold
Henning Basold
LIACS - Leiden University
Verified email at liacs.leidenuniv.nl - Homepage
Title
Cited by
Cited by
Year
Higher Inductive Types in Programming
H Basold, H Geuvers, N van der Weide
Journal of Universal Computer Science 23 (1), 63-88, 2017
362017
Mixed Inductive-Coinductive Reasoning: Types, Programs and Logic
H Basold
Radboud University Nijmegen, 2018
262018
Coinduction in uniform: Foundations for corecursive proof search with Horn clauses
H Basold, E Komendantskaya, Y Li
European Symposium on Programming, 783-813, 2019
222019
Type Theory based on Dependent Inductive and Coinductive Types
H Basold, H Geuvers
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
172016
Session coalgebras: A coalgebraic view on session types and communication protocols
AC Keizer, H Basold, JA Pérez
Programming Languages and Systems: 30th European Symposium on Programming …, 2021
132021
Monoidal Company for Accessible Functors
H Basold, D Pous, J Rot
CALCO, 2017
132017
Newton series, coinductively: a comparative study of composition
H Basold, HH Hansen, JÉ Pin, J Rutten
Mathematical Structures in Computer Science 29 (1), 38-66, 2019
102019
Well-definedness and observational equivalence for inductive–coinductive programs
H Basold, HH Hansen
Journal of Logic and Computation, exw091, 2016
102016
Higher Inductive Types
N van der Weide, H Basold, H Geuvers
Master’s thesis, Radboud University, Nijmegen, 2016
92016
(Co) algebraic characterizations of signal flow graphs
H Basold, M Bonsangue, HH Hansen, J Rutten
Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to …, 2014
72014
An Open Alternative for SMT-Based Verification of Scade Models
H Basold, H Günther, M Huhn, S Milius
Formal Methods for Industrial Critical Systems: 19th International …, 2014
72014
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
AC Keizer, H Basold, JA Pérez
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (3), 1-45, 2022
52022
Newton series, coinductively
H Basold, HH Hansen, JÉ Pin, J Rutten
Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015
52015
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
E Komendantskaya, D Rozplokhas, H Basold
Theory and Practice of Logic Programming 20 (6), 990-1005, 2020
42020
Enriching Diagrams with Algebraic Operations
A Villoria, H Basold, A Laarman
International Conference on Foundations of Software Science and Computation …, 2024
22024
Composition and Recursion for Causal Structures
H Basold, T Ralaivaosaona
10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 2023
22023
Breaking the Loop: Recursive Proofs for Coinductive Predicates in Fibrations
H Basold
arXiv preprint arXiv:1802.07143, 2018
22018
Models of inductive-coinductive logic programs
H Basold, E Komendantskaya
CoALP-Ty’16, 23, 2016
22016
Dependent Inductive and Coinductive Types are Fibrational Dialgebras
H Basold
arXiv preprint arXiv:1508.06779, 2015
22015
Transformation von Scade-Modellen zur SMT-basierten Verifikation
H Basold
arXiv preprint arXiv:1403.2752, 2014
22014
The system can't perform the operation now. Try again later.
Articles 1–20