Henning Basold
Universitair docent
- Naam
- Dr. H. Basold
- Telefoon
- +31 71 527 4799
- h.basold@liacs.leidenuniv.nl
De belangrijkste onderzoeksinteresses van Henning Basold zijn de studie van de logica en het gedrag van systemen, en de constructie van calculi die ons in staat stellen om verschillende systemen formeel te beschrijven en te redeneren.
Meer informatie over Henning Basold
Promovendi
Publicaties
Links
Meer informatie over Henning Basold is te vinden op de Engelstalige profielpagina.
Universitair docent
- Wiskunde en Natuurwetenschappen
- Leiden Inst. Advanced Computer Sciences
- Henning Basold (2019), Coinduction in Flow: The Later Modality in Fibrations. In: Roggenbach M.,Sokolova A. (red.) 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). nr. 139 Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. 8:1--8:22.
- Basold Henning & Komendantskaya Ekaterina (2016), Models of inductive-coinductive logic programs. In: Komendantskaya E., František F. (red.) Pre-Proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types (CoALP-Ty16).: EPTCS . 23-24.
- Basold H. & Geuvers H. (2016), Type Theory Based on Dependent Inductive and Coinductive Types. In: LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science•. New York, NY, U.S.A.: ACM. 327-336.
- Basold H. (2015), Dependent Inductive and Coinductive Types Are Fibrational Dialgebras. In: Matthes R., Mio M. (red.) Proceedings Tenth International Workshop on Fixed Points in Computer Science (FICS 2015). nr. 191: Open Publishing Association. 3-17.
- Basold H., Günther H., Huhn M. & Milius S. (2014), An Open Alternative for SMT-Based Verification of Scade Models. In: Lang F., Flammini F. (red.) Formal Methods for Industrial Critical Systems. FMICS 2014. nr. 8718 Cham: Springer. 124-139.
Geen relevante nevenwerkzaamheden