Inductive-inductive definitions

Fredrik Nordvall Forsberg. Inductive-inductive definitions. PhD thesis, Swansea University, UK, 2013. [doi]

Abstract

Abstract is missing.