A weekly discussion on logics, type-theories, and their applications to computing. We meet Tuesdays 3:00-4:20 in JCL 298.
Our first public meeting will be on Tuesday, October 2nd. I'd like to begin by working through “The Little Typer,” by Daniel P. Friedman and David Thrane Christiansen.
We took a quick look today at the Nat-Nat problems , and in particular around the distinction between + and plus . But the main conversatio...