The Geometric McKay Correspondence (Part 1)
19 June 2017 | 9:30 pm

The icosahedron and E8 are connected, with the E8 Dynkin diagram arising from a detailed study of how an icosahedron can shrink to zero size.

Eliminating Binders for Easier Operational Semantics
10 June 2017 | 1:24 pm

Bound variables cause a lot of complications. In this post Mike Stay explains how to simply avoid them.

Enriched Lawvere Theories for Operational Semantics
7 June 2017 | 8:51 am

Greg Meredith and Mike Stay are using multisorted Lawvere theories enriched over the category of graphs to do operational sematics!


More News from this Feed See Full Web Site