<p>Metatheory is concerned with proving properties about theories, in this case type theories or programming languages.  </p>

Metatheory is concerned with proving properties about theories, in this case type theories or programming languages.

<p>Metatheory is concerned with proving properties about theories, in this case type theories or programming languages.&nbsp;&nbsp;</p>

Introduction to metatheory

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Introduction to metatheory