Tuesday, March 31, 2009

Your lambda-cube is puny.

Aaron just showed me this mind-blowing figure from a paper by van Glabbeek that attempts to abstract the wide variety of notions of equivalence in the concurrency literature:

A moment of respectful silence, please.


Edward Kmett said...

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.

steck said...

This looks suspiciously like the layer
cake we ate at van Glabeek's place the
other night.

-- Paul