Unique path as formal points
Artikel i vetenskaplig tidskrift, 2011
Författare
Thierry Coquand
Göteborgs universitet
Peter Schuster
Journal of Logic and Analysis
Vol. 3
Ämneskategorier
Matematik