Classical linear logic of implications (0)

by M Hasegawa
Venue:Mathematical Structures in Computer Science