Skip to content

Generalized Bounded Linear Logic and its Categorical Semantics.

Yoji Fukihara, Shin-ya Katsumata

Year2021
ProceedingsFoSSaCS

Browse the full FOSSACS paper archive.