Iowa Type Theory Commute
Term models for higher-order signatures
Oct 19, 2020
Season 2
Episode 6
Aaron Stump
I discuss the problem of term models for higher-order signatures, following a prelude about the Edinburgh Logical Framework (LF) and higher-order datatypes.