Browse by Supervisors
Jump to: 2020 Number of items: 1. 2020von Raumer, Jakob (2020) Higher inductive types, inductive families, and inductive-inductive types. PhD thesis, University of Nottingham. |
Browse by Supervisors
Jump to: 2020 Number of items: 1. 2020von Raumer, Jakob (2020) Higher inductive types, inductive families, and inductive-inductive types. PhD thesis, University of Nottingham. |