Home
DCC eCatalog
A.__Momigliano
A Comparison of Formalizations of the Meta-Theory of a Language with Variable Bindings in Isabelle
