Login / Signup
A type system for well-founded recursion.
Derek Dreyer
Published in:
POPL (2004)
Keyphrases
</>
information systems
database systems
expert systems
pairwise