1 paper · 1 filter
Niels van der Weide
Internal language theorems are fundamental in categorical logic, since they express an equivalence between syntax and semantics. One such theorem was proven by Clairambault and Dyb…