PhilSci Archive

Mathematical Structures in Computer Science (2021)

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Vol. 31
No. Unknown
Bentzen, Bruno (2021) Naive cubical type theory. Mathematical Structures in Computer Science, 31. pp. 1205-1231.