Ranzi, Florian (2015). From a Flexible Type System to Metapredicative Wellordering Proofs. (Dissertation, Institut für Informatik und angewandte Mathematik, Philosophisch-naturwissenschaftliche Fakultät)
|
Text
ran15.pdf - Published Version Available under License Creative Commons: Attribution-Noncommercial-Share Alike (CC-BY-NC-SA). Download (3MB) | Preview |
Item Type: |
Thesis (Dissertation) |
---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) |
UniBE Contributor: |
Ranzi, Florian, Jäger, Gerhard Max, Strahm, Thomas Adrian |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
Language: |
English |
Submitter: |
Lukas Jaun |
Date Deposited: |
03 Mar 2016 15:06 |
Last Modified: |
05 Dec 2022 14:51 |
BORIS DOI: |
10.7892/boris.75102 |
URI: |
https://boris.unibe.ch/id/eprint/75102 |