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

by Jean-Yves Girard
Citations:22 - 0 self