A MALL geometry of interaction based on indexed linear logic

研究成果: Article同行評審

指紋

深入研究「A MALL geometry of interaction based on indexed linear logic」主題。共同形成了獨特的指紋。

Mathematics

Engineering & Materials Science