Axiomatizability in inclusive equational logics
G. Rosu
págs. 541-563
Coalgebras of bounded type
H. P. Gumm, T. Schroder
págs. 565-578
On Kothe sequence spaces and linear logic
T. Ehrhard
págs. 579-623
Geometry of Interaction and linear combinatorv algebras
S. Abramsky, E. Haghverdi
págs. 625-665
Investigation of concurrent processes by means of homotopy functors
S. Sokolowski
págs. 665-699
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: