/msc/11_infomtpt/

5 directories 6 files
Name Size Modified
gh
Normalization-SystemT_Coquand.pdf 90 KiB
Normalization-SystemT_Coquand_dk.pdf 270 KiB
papers
ComparisonGPApproaches_Magalhaes_dk.pdf 2.1 MiB
ComparisonGPApproaches_Magalhaes.pdf 237 KiB
GP-Libraries_Magalhaes.pdf 597 KiB
GP-Libraries_Magalhaes_dk.pdf 8.3 MiB
project-repo
my-paper-presentation
exercises