Introduction to metatheory

Published: Feb. 28, 2020, 10 p.m.

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