A weekly discussion on logics, type-theories, and their applications to computing. We meet Tuesdays 3:00-4:20 in JCL 298.
We took a quick look today at the Nat-Nat problems , and in particular around the distinction between + and plus . But the main conversatio...
No comments:
Post a Comment