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

Semantics

Types

Logic

Nonconstructive Techniques

Topology

Reals

Curriculum/Pedagogy

a service of Schloss Dagstuhl - Leibniz Center for Informatics