Login / Signup

A Reflection Principle for Potential Infinite Models of Type Theory.

Matthias Eberl
Published in: CoRR (2024)
Keyphrases