Francesco PAOLI. SIMPLIFIED AFFINE PHASE STRUCTURES. A b s t r a c t. Phase models for affine linear logic were indepen- dently devised by Lafont [10] and ...
確定! 回上一頁