Proofs as computations in linear logic
Giorgio Delzanno, Maurizio MartelliVolume:
258
Year:
2001
Language:
english
Pages:
29
DOI:
10.1016/s0304-3975(00)00024-4
File:
PDF, 216 KB
english, 2001