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
282017
Mixed Inductive-Coinductive Reasoning: Types, Programs and Logic
H Basold
Radboud University Nijmegen, 2018
142018
Coinduction in uniform: Foundations for corecursive proof search with Horn clauses
H Basold, E Komendantskaya, Y Li
European Symposium on Programming, 783-813, 2019
132019
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
112016
Monoidal Company for Accessible Functors
H Basold, D Pous, J Rot
CALCO, 2017
102017
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
82016
Newton series, coinductively
H Basold, HH Hansen, JÉ Pin, J Rutten
International Colloquium on Theoretical Aspects of Computing, 91-109, 2015
52015
An Open Alternative for SMT-based Verification of SCADE Models
H Basold, H Günther, M Huhn, S Milius
International Workshop on Formal Methods for Industrial Critical Systems …, 2014
52014
(Co) Algebraic Characterizations of Signal Flow Graphs
H Basold, M Bonsangue, HH Hansen, J Rutten
Horizons of the Mind. A Tribute to Prakash Panangaden, 124-145, 2014
52014
(Co) Algebraic Characterizations of Signal Flow Graphs
H Basold, M Bonsangue, HH Hansen, J Rutten
Horizons of the Mind. A Tribute to Prakash Panangaden, 124-145, 2014
52014
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
42019
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
Transformation von Scade-Modellen zur SMT-basierten Verifikation
H Basold
arXiv preprint arXiv:1403.2752, 2014
22014
Dependent Inductive and Coinductive Types are Fibrational Dialgebras
H Basold
arXiv preprint arXiv:1508.06779, 2015
12015
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
AC Keizer, H Basold, JA Pérez
arXiv preprint arXiv:2011.05712, 2020
2020
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
2020
Free Algebraic Theories as Higher Inductive Types
H Basold, N van der Weide, N Veltri
2019
Coinduction in Flow: The Later Modality in Fibrations
H Basold
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20