Login / Signup

On quasi-interpretations, blind abstractions and implicit complexity.

Patrick BaillotUgo Dal LagoJean-Yves Moyen
Published in: Math. Struct. Comput. Sci. (2012)
Keyphrases