Unique path as formal points
Journal article, 2011
Author
Thierry Coquand
University of Gothenburg
Peter Schuster
Journal of Logic and Analysis
Vol. 3
Subject Categories
Mathematics