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)
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

Actions (login required)

Edit item Edit item
Provide Feedback