Browsing

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Rietdijk Marielle - 2018 - Extracting programs from proofs using Friedmans...pdf.jpgRietdijk, Mariëlle Extracting programs from proofs : using Friedman's A-translation and realizabilityThesis Hochschulschrift 2018