A Universal Characterisation of the Tripos-to-Topos Construction [thesis]
Jonas Frey年:
2007
出版社:
Technische Universität Darmstadt
语言:
english
页:
64
文件:
PDF, 778 KB
IPFS:
,
english, 2007