Synthetic Mathematics for the Mechanisation of Computability Theory and Logic (Invited Talk).

Yannick Forster

Browse the full CSL paper archive.