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