Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
scientific article; zbMATH DE number 6062061
scientific article