From a Flexible Type System to Metapredicative Wellordering Proofs

Ranzi, Florian (2015). From a Flexible Type System to Metapredicative Wellordering Proofs. (Dissertation, Institut für Informatik und angewandte Mathematik, Philosophisch-naturwissenschaftliche Fakultät)

[img]
Preview
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) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)
UniBE Contributor: Ranzi, Florian; Jäger, Gerhard and 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: 03 Mar 2016 15:06
BORIS DOI: 10.7892/boris.75102
URI: http://boris.unibe.ch/id/eprint/75102

Actions (login required)

Edit item Edit item
Provide Feedback