# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeMay 7th 2011
• (edited May 7th 2011)

I have created stubs for the missing entries to complete this table:

The main actual content I added are, (at 2-type theory and 2-logic): pointers to Dan Licata’s thesis and to Mike’s personal wiki pages.

I’d hope that one outcome of the present $n$Café discussion is that eventually some of these entries get equipped with some useful content.

(P.S. I would have linked to material by Mike Stay, too, but I don’t know what to link to.)