GMeta: A Generic Formal Metatheory Framework for First-Order Representations.

Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi

Browse the full ESOP paper archive.