Description: Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people