Login / Signup

Functional interpretation and inductive definitions.

Jeremy AvigadHenry Towsner
Published in: J. Symb. Log. (2009)
Keyphrases