A proof-theoretic foundation of abortive continuations
Zena M. Ariola, Hugo Herbelin, Amr SabryVolume:
20
Language:
english
Pages:
27
DOI:
10.1007/s10990-007-9007-z
Date:
December, 2007
File:
PDF, 634 KB
english, 2007