Modularity in the LF Logical Framework
Robert W. Harper, Frank Pfenning · 1991
Formal deductive systems play an important role in computer science, particularly in the areas of logic and semantics of programming languages. They are employed in three different, but obviously related roles. Firstly, they are used to specify logics, type systems, operational semantics and other