Author: nLab edit announcer Format: MarkdownItexAdding reference
* [[Benno van den Berg]], [[Martijn den Besten]], *Quadratic type checking for objective type theory* ([arXiv:2102.00905](https://arxiv.org/abs/2102.00905))
Anonymous
<a href="https://ncatlab.org/nlab/revision/diff/Benno+van+den+Berg/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/Benno+van+den+Berg/4">v4</a>, <a href="https://ncatlab.org/nlab/show/Benno+van+den+Berg">current</a>