Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
collected some references on the interpretation of the !-modality as the Fock space construction at !-modality.
Cross-linked briefly with he stub entries_Fock space_ and second quantization.
I de-stubbified !-modality with some discussion of the various ways to interpret it categorically.
I added to !-modality some comments about term calculi.
1 to 4 of 4