Two Recent Approaches to Mechanical Developments of Formal Metatheory
Gyesik Lee · Advanced Science and Technology Letters · 2013
This paper introduces two recent approaches to mechanical developments of formal metatheory for programming languages. The key issue concerns the representation and manipulation of terms with variable binding. This paper addresses first-order approaches only and gives an short overview of recent progresses in this field.