PopescuAndrei

Recursion principles for syntax with bindings and substitution

PopescuAndrei, L GunterElsa, 2011 .

Safety and conservativity of definitions in HOL and Isabelle/HOL

PopescuAndrei, KunčarOndřej, 2017 .