Obsessional experiments for linear logic proof-nets
L. T. de Falco
págs. 799-855
Diagrammatic specifications
D. Duval
págs. 857-890
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: