19 citations · 42 across the 6 of their papers we have counts for
1 paper · 2 filters
Masahiro Hamano, Philip Scott
We present Geometry of Interaction (GoI) models for Multiplicative Polarized Linear Logic, MLLP, which is the multiplicative fragment of Olivier Laurent's Polarized Linear Logic. T…