Dependent Types Simplified
Logic
2025-08-07 v2
Abstract
We present two logical systems based on dependent types that are comparable to ZFC, both in terms of simplicity and having natural set theoretic interpretations. Our perspective is that of a mathematician trained in classical logic, but nevertheless we hope this paper might go some way to bridging the cultural divide between type theorists coming from computer science.
Keywords
Cite
@article{arxiv.2507.04071,
title = {Dependent Types Simplified},
author = {Tristan Bice},
journal= {arXiv preprint arXiv:2507.04071},
year = {2025}
}