Fabian Brenner: Bachelor's Thesis

Saarland University Computer Science

Formalising the undecidability of finitary PCF in Coq


Legal notice, Privacy policy