Interpolation for predefined types
Razvan Diaconescu
págs. 1-24
Lenses, fibrations and universal translations
Michael Johnson, Robert Rosebrugh, Richard J. Wood
págs. 25-42
Bisimulations for non-deterministic labelled Markov processes
Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
págs. 43-68
Relative formal topology: the binary positivity predicate comes first
Silvio Valentini
págs. 69-102
Constructing a small category of setoids
Olov Wilander
págs. 103-121
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: