Categorical logic of names and abstraction in action calculi
págs. 619-637
Isomorphic objects in symmetric monoidal closed categories Work on this paper was supported by Grant 0401A of the Science Fund of Serbia
ZORAN PETRI (, KOSTA DO x EN
págs. 639-662
Subnets of proof-nets in multiplicative linear logic with MIX
págs. 663-669
Varieties generated by languages with poset operations
págs. 701-713
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: