Dave Herman's research blog.
And people wonder why when you have more than zero type theorists in a room they will get into an argument about the choice of how you define equality.
This looks suspiciously like the layer cake we ate at van Glabeek's place the other night.-- Paul
Post a Comment
Technorati Profile
A moment of respectful silence, please.
2 comments:
And people wonder why when you have more than zero type theorists in a room they will get into an argument about the choice of how you define equality.
This looks suspiciously like the layer
cake we ate at van Glabeek's place the
other night.
-- Paul
Post a Comment