Pinboard: bookmarks for pragmatrix tagged 'computer-science'

pragmatrix + computer-science 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

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

rule110-grid.html at master from elitheeli/oddities - GitHub
theory css computer-science turing html
march 2011 by pragmatrix

copy to mine

Copy this bookmark: