From a Flexible Type System to Metapredicative Wellordering Proofs
| Contribuinte(s) |
Jäger, Gerhard Strahm, Thomas Adrian |
|---|---|
| Data(s) |
2015
|
| Formato |
application/pdf |
| Identificador |
http://boris.unibe.ch/75102/1/ran15.pdf Ranzi, Florian (2015). From a Flexible Type System to Metapredicative Wellordering Proofs. (Dissertation, Institut für Informatik und angewandte Mathematik, Philosophisch-naturwissenschaftliche Fakultät) doi:10.7892/boris.75102 |
| Idioma(s) |
eng |
| Relação |
http://boris.unibe.ch/75102/ |
| Direitos |
info:eu-repo/semantics/openAccess |
| Fonte |
Ranzi, Florian (2015). From a Flexible Type System to Metapredicative Wellordering Proofs. (Dissertation, Institut für Informatik und angewandte Mathematik, Philosophisch-naturwissenschaftliche Fakultät) |
| Palavras-Chave | #000 Computer science, knowledge & systems #510 Mathematics |
| Tipo |
info:eu-repo/semantics/doctoralThesis info:eu-repo/semantics/publishedVersion NonPeerReviewed |
