Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / J. Kock (eds.)

Books by author

J. Kock (eds.)

Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations

Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations

2015 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme