"Comparing the Theory of Representations and Constructive Mathematics."

A. S. Troelstra (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics