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
Blog Roll
Tools
Talks
Papers
Posts
Elsewhere
Pnut.io
Twitter
GitHub
GitLab
Bitbucket
LinkedIn
StackExchange