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.

10 comments:

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.

Paul Steckler said...

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

-- Paul

토토사이트 순위 said...

Happy reading your article. Web site taste is perfect, articles is truly great!

카지노사이트 순위 said...

I will make sure to be reading your blog more. Excellent article you write!

바카라사이트 said...

Fckin¦ amazing issues here. I am very satisfied to see your post. Thank you a lot

메이저사이트 said...

Thanks for sharing, This is a fantastic post. Looking forward to read more. Really Cool.

토토사이트 추천 said...

Say, you got a nice article. Really looking forward to read more. Cool

토토사이트 said...

I have read so many posts on the topic, This is fastidious article, keep it up.

신용카드현금화 said...

I love it when people come together and share ideas. Great website, keep it up!

소액결제현금화 said...

Looking forward to seeking more of this great post here. Thankyou, goodluck!