Currently browsing

Mixed Inductive-Coinductive Reasoning Types, Programs and Logic

Henning Basold promotors: prof. dr. Jan Rutten (RU and CWI) and prof. dr. Herman Geuvers (RU and TU/e) copromotor: dr. Helle Hvid Hansen (TU Delft) Radboud University Date: 19 April 2018 Thesis: PDF Summary Induction and coinduction are threads that cross the landscape of Mathematics and Computer Science as methods to …