3 ms·
https://www.cl.cam.ac.uk/~sd601/thesis.pdf https://www.cl.cam.ac.uk/~sd601/thesis.pdf might provide useful background reading for those who aren’t familiar with
by amenghra 9y ago
https://www.cl.cam.ac.uk/~sd601/thesis.pdf https://www.cl.cam.ac.uk/~sd601/thesis.pdf might provide useful background reading for those who aren’t familiar with type theories.