Quantitative and Qualitative Se-mantics." Invited Lecture, 1st Symposium on Logic (1986)

by J-Y Girard
Venue:In Computer Science