Semi-pullbacks and bisimulation in categories of Markov processes
págs. 523-543
Final coalgebras as greatest fixed points in ZF set theory Research funded by the ESPRIT Working Group 21900 ‘Types’. and GR/K57381 ‘Mechanizing Temporal Reasoning’
págs. 545-567
Topical categories of domains
págs. 569-616
The call-by-value λ-calculus: a semantic investigation This work was supported by TMR-Marie Curie Grant, contract n. ERBFMBICT9601411
SIMONA RONCHI della ROCCA, ALBERTO PRAVATO, LUCA ROVERSI
págs. 617-650
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: