nLab Ivan Di Liberti

webpage

Selected writings

On judgements, natural deduction and dependent type theory:

Last revised on February 13, 2023 at 14:21:01. See the history of this page for a list of all contributions to it.