11_infomtpt

5 directories 6 files

Name	Size	Modified
Up
exercises/	—	11/14/2016 11:07:59 PM +00:00
gh/	—	11/14/2016 11:07:59 PM +00:00
my-paper-presentation/	—	11/14/2016 11:08:00 PM +00:00
papers/	—	11/14/2016 11:08:03 PM +00:00
project-repo/	—	11/14/2016 11:08:04 PM +00:00
Normalization-SystemT_Coquand.pdf	90 KiB	11/14/2016 11:07:59 PM +00:00
ComparisonGPApproaches_Magalhaes.pdf	237 KiB	11/14/2016 11:07:59 PM +00:00
Normalization-SystemT_Coquand_dk.pdf	270 KiB	11/14/2016 11:07:59 PM +00:00
GP-Libraries_Magalhaes.pdf	597 KiB	11/14/2016 11:07:59 PM +00:00
ComparisonGPApproaches_Magalhaes_dk.pdf	2.1 MiB	11/14/2016 11:07:59 PM +00:00
GP-Libraries_Magalhaes_dk.pdf	8.3 MiB	11/14/2016 11:07:59 PM +00:00