No Cover Image

E-Thesis 227 views 373 downloads

Inductive-inductive definitions. / Fredrik Nordvall Forsberg

Swansea University Author: Fredrik Nordvall Forsberg

Published: 2013
Institution: Swansea University
Degree level: Doctoral
Degree name: Ph.D
Tags: Add Tag
No Tags, Be the first to tag this record!
Keywords: Martin-Lof type theory
College: Faculty of Science and Engineering