Jaun, Lukas (2019). Category Theory in Explicit Mathematics. (Dissertation, Institute of Computer Science, Philosophisch-naturwissenschaftliche Fakultät, Universität Bern)
|
Text
jau19.pdf - Published Version Available under License Creative Commons: Attribution-Share Alike (CC-BY-SA). Download (1MB) | Preview |
Official URL: http://www.lulu.com/shop/lukas-jaun/category-theor...
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: |
Jaun, Lukas, Jäger, Gerhard Max |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
Language: |
English |
Submitter: |
Lukas Jaun |
Date Deposited: |
07 Jun 2019 14:45 |
Last Modified: |
05 Dec 2022 15:29 |
BORIS DOI: |
10.7892/boris.131318 |
URI: |
https://boris.unibe.ch/id/eprint/131318 |
Actions (login required)
 |
Edit item |