Linearizing intuitionistic implication

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151630 ◽

2002 ◽

Author(s):

P. Lincoln ◽

A. Scedrov ◽

N. Shankar

Download Full-text