Category Theory in Explicit Mathematics

Jaun, Lukas (2019). Category Theory in Explicit Mathematics. (Dissertation, Institute of Computer Science, Philosophisch-naturwissenschaftliche Fakultät, Universität Bern)

[img]
Preview
Text
jau19.pdf - Published Version
Available under License Creative Commons: Attribution-Share Alike (CC-BY-SA).

Download (1MB) | 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:

Jaun, Lukas and 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:

23 Oct 2019 07:38

BORIS DOI:

10.7892/boris.131318

URI:

https://boris.unibe.ch/id/eprint/131318

Actions (login required)

Edit item Edit item
Provide Feedback