%0 Journal Article
%T Unique paths as formal points
%A Thierry Coquand
%A Peter Schuster
%J Journal of Logic and Analysis
%D 2011
%I Journal of Logic and Analysis
%R 10.4115/jla.v3i0.107
%U http://www.logicandanalysis.org/index.php/jla/article/view/107