UF IAS 2012 Archive
Logical Frameworks
Skip the Navigation Links
|
Home Page
|
All Pages
|
Here is a place to collect some resources on logical frameworks.
Revised notes
from Bob Harper’s talk.
Vladimir Voevodsky’s
notes on LF in TS-style
.
Created on April 19, 2018 at 21:16:58 by
Univalent foundations special year 2012