Coherence for monoidal endofunctors
Kosta Dosen, Zoran Petric
págs. 523-544
Coherence for monoidal monads and comonads
Kosta Dosen, Zoran Petric
págs. 545-562
Olov Wilander
págs. 563-576
Rewriting systems for the surface classification theorem
Gabriele Pulcini
págs. 577-588
Long-run cost analysis by approximation of linear operators over dioids
David Cachera, Thomas Jensen, Arnaud Jobin, Pascal Sotin
págs. 589-624
A solution of the uniform word problem for ortholattices
Andrea Meinander
págs. 625-638
Diagrammatic logic applied to a parameterisation process
César Domínguez , Dominique Duval
págs. 639-654
Realisability semantics of parametric polymorphism, general references an recursive types
Lars Birkedal, Kristian Stovring, Jacob Thamsborg
págs. 655-702
© 2008-2024 Fundación Dialnet · Todos los derechos reservados