Ranzi, Florian (2015). From a Flexible Type System to Metapredicative Wellordering Proofs. (Thesis). Universität Bern, Bern
|
Text
ran15.pdf - Thesis Available under License Creative Commons: Attribution-Noncommercial-Share Alike (CC-BY-NC-SA 4.0). Download (3MB) | Preview |
Abstract
| Item Type: | Thesis |
|---|---|
| Dissertation Type: | Single |
| Date of Defense: | 2015 |
| Subjects: | 000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
| Institute / Center: | 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) 08 Faculty of Science > Institute of Computer Science (INF) |
| Depositing User: | Admin importFromBoris |
| Date Deposited: | 25 Jan 2019 12:59 |
| Last Modified: | 25 Jan 2019 12:59 |
| URI: | https://boristheses.unibe.ch/id/eprint/936 |
Actions (login required)
 |
View Item |