A Rationalisation of the ATMS in Terms of Partial Evaluation.

Evelina Lamma, Paola Mello

Browse the full LOPSTR paper archive.