Constructivity in Computer Science

Constructivity in Computer Science 1991: San Antonio, Texas, USA

maintained by Schloss Dagstuhl LZI at University of Trier