Max S. New ⚜️ on Nostr: nprofile1q…aral2 ??? Intuitionistic linear logic with just tensor and unit is the ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2 (nprofile…ral2) ??? Intuitionistic linear logic with just tensor and unit is the internal language of symmetric monoidal categories