Login / Signup

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

Shin-ya Katsumata
Published in: CSL (2005)
Keyphrases