Jaun, Lukas

Up a level

Group by: Item Type | No Grouping

Jump to: Thesis

Number of items: 1.

Thesis

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

This list was generated on Tue May 7 11:48:23 2024 CEST.

Export as	RSS