Proof synthesis via explicit substitutions on open terms (1998)

by C Munoz
Venue:In Proc. International Workshop on Explicit Substitutions, Theory and Applications, WESTAPP 98