Skip to content

Comparing the Theory of Representations and Constructive Mathematics.

A. S. Troelstra

VenueBCSL
Year1991
ProceedingsCSL

Browse the full CSL paper archive.