Locus Solum
E2074828
UNEXPLORED
Locus Solum is a major work by logician Jean-Yves Girard that develops key ideas in linear logic and the geometry of interaction.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Locus Solum canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.