E-Thesis 468 views 481 downloads
Inductive-inductive definitions. / Fredrik Nordvall Forsberg
Swansea University Author: Fredrik Nordvall Forsberg
-
PDF | E-Thesis
Download (6.81MB)
Abstract
Inductive-inductive definitions.
| Published: |
2013
|
|---|---|
| Institution: | Swansea University |
| Degree level: | Doctoral |
| Degree name: | Ph.D |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa43083 |
| Keywords: |
Martin-Lof type theory |
|---|---|
| College: |
Faculty of Science and Engineering |