Subject: Type Theory

Description: This is a mailing list for people interested in Type Theory, its implementation, theory and applications.