Login / Signup

Global semantic typing for inductive and coinductive computing.

Daniel Leivant
Published in: CSL (2013)
Keyphrases