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
352017
Mixed Inductive-Coinductive Reasoning: Types, Programs and Logic
H Basold
Radboud University Nijmegen, 2018
242018
Coinduction in uniform: Foundations for corecursive proof search with Horn clauses
H Basold, E Komendantskaya, Y Li
European Symposium on Programming, 783-813, 2019
192019
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
152016
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
122021
Monoidal Company for Accessible Functors
H Basold, D Pous, J Rot
CALCO, 2017
122017
Higher Inductive Types
N van der Weide, H Basold, H Geuvers
Master’s thesis, Radboud University, Nijmegen, 2016
92016
Well-definedness and observational equivalence for inductive–coinductive programs
H Basold, HH Hansen
Journal of Logic and Computation, exw091, 2016
92016
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
82019
(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
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
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
32022
Coinduction in Flow: The Later Modality in Fibrations
H Basold
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), 2019
22019
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 Directed Van Kampen Theorem in Lean
H Basold, P Bruin, D Lawson
arXiv preprint arXiv:2312.06506, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20