On the meaning of logical rules I: syntax vs. semantics (1998)

by Jean-Yves Girard
Citations:27 - 0 self