A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage.

Shin-ya Katsumata A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. 87-102 2005 conf/csl/2005 CSL http://dx.doi.org/10.1007/11538363_8 db/conf/csl/csl2005.html#Katsumata05