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.
at

2 comments:

  1. Edward Kmett2:19 PM

    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.

    ReplyDelete
  2. Paul Steckler5:36 PM

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

    -- Paul

    ReplyDelete