Description: Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people