Pinboard: bookmarks for pragmatrix tagged 'type-theory'

pragmatrix + type-theory 2

select: none ‧ this page no items selected

mark as read ‧ unread ‧ private ‧ public ‧ add stars ‧ remove stars ‧ delete

tag: add or remove tag

THIS IS BOILERPLATE confirm ‧ cancel

Category Theory Cheat Post (WiP) « blog . by . paul
category-theory mathematics type-theory
february 2012 by pragmatrix

copy to mine

A dose of logic: Slides about Martin-Löf type theory
type-inference logic type-theory math computer-science
may 2011 by pragmatrix

copy to mine

Copy this bookmark: