Jeremy W. Sherman
stay a while, and listen
Blogosphere
When is a proof not a proof?
2 Oct 2015
What if you get your dependent type backwards?
2 Oct 2015
Where to?
Home
All Categories
All Tags
About
About
Blog Roll
Papers
Posts
Talks
Tools
Elsewhere
Pnut.io
Twitter
GitHub
GitLab
Bitbucket
LinkedIn
StackExchange