Girard 1987: control of resource-use via !-modality. Tensor (⊗) vs par (℘) connectives. Coherence-spaces semantics. Foundation of resource-aware computing + concurrency-theory.
Girard 1987: control of resource-use via !-modality. Tensor (⊗) vs par (℘) connectives. Coherence-spaces semantics. Foundation of resource-aware computing + concurrency-theory.