TY  - THES
AU  - Martí Oliet, Narciso
A3  - Messeguer Guaita, José
PY  - 2002
DO  - b2167520x
SN  - 978-84-669-0704-0
UR  - https://hdl.handle.net/20.500.14352/63308
AB  - En la primera parte del trabajo se estudia la correspondencia triangular sistematica que se ha detectado, entre las Redes de Petri, las categorias lineales y la logica lineal de Girard. Desarrollamos en particular una sementica categorica de las Redes...
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Redes (Matemáticas)
TI  - Sobre dos lógicas categóricas : lógica lineal y álgebra con tipos ordenados
M3  - doctoral thesis
ER  -