Skip to main content

Recent
Schools + Programs
Academic Years
- 2019-2020
- 2018-2019
- 2017-2018
- 2016-2017
- 2015-2016
- 2014-2015
- 2013-2014
- 2012-2013
- 2011-2012
- 2010-2011
- 2009-2010
- 2008-2009
- 2007-2008
- 2006-2007
- 2005-2006
- 2004-2005 & prior
IAS Home

Directed Type Theory

Directed Type Theory Warren - Michael Warren

Michael Warren

Dalhousie University; Member, School of Mathematics

April 10, 2013

Tags:

School of Mathematics

Search form

Copyright © 2019 Institute for Advanced Study, 1 Einstein Drive, Princeton, New Jersey 08540 USA (609) 734-8000 | Contact Us