Login / Signup

Global semantic typing for inductive and coinductive computing.

Daniel Leivant
Published in: Log. Methods Comput. Sci. (2014)
Keyphrases