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

More information

Created

10/10/2017