Permutability of proofs in intuitionistic sequent calculi
Roy Dyckhoff, Luís PintoVolume:
212
Année:
1999
Langue:
english
Pages:
15
DOI:
10.1016/s0304-3975(98)00138-8
Fichier:
PDF, 962 KB
english, 1999