A simple process algebra based on atomic actions with resources
págs. 1-55
A categorical version of the Brouwer-Heyting-Kolmogorov interpretation
E. Palmgren
págs. 57-72
Two-dimensional proof-structures and the exchange rule
C. Gaubert
págs. 73-96
Type-based termination of recursive definitions
M. J. Frade, G. Barthe
págs. 97-141
Wheels - on division by zero
J. Carlstrom
págs. 143-184
Corrigenda for `Connected limits, familial representability and Artin glueing'
págs. 185-187
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: