Description: Stockholm University - Constructive type theory and related mathematics.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people