Future papers

This is a (not limiting) list of future papers I’d like to read:

Most of these are from trolling various recent conferences; in the process, I discovered Microsoft’s Academic Search, which among other things gives major journals and conferences by field.  I’m not sure how I feel about the search itself, but it’s a great way to find the conferences I’d forgotten about and then troll their recent years for good papers.

2 Responses to Future papers

  1. mkaemmerer says:

    I’ve been struggling to get through the HoTT book (http://homotopytypetheory.org/book/), and would love a more approachable explanation.

    The premise of the book seems very interesting. If I understand correctly, the idea is that homotopy theory (whatever that is… I haven’t grokked it yet) could form a more general axiomatization of mathematics, and also describe better type systems that could be used by new programming languages.

Discuss

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s