Description: Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people