Sign in

Constructive reflectivity Principles for Regular Theories.

Henrik ForssellPeter LeFanu Lumsdaine
Published in: J. Symb. Log. (2019)
Keyphrases