Tuesday, August 28, 2018

Welcome

Welcome to the Deep State Conspiracy!

We meet at 3:00pm-4:30pm on Tuesday's in JCL 280 for a discussion and/or presentation related to logic or type-theory in the context of computation.

No comments:

Post a Comment

12/4/18: The Path Forward

We took a quick look today at the Nat-Nat problems , and in particular around the distinction between + and plus . But the main conversatio...