Authors: FIORE MP ROSOLINI G

Citation: Mp. Fiore et G. Rosolini, 2 MODELS OF SYNTHETIC DOMAIN THEORY, Journal of pure and applied algebra, 116(1-3), 1997, pp. 151-162

Authors: FIORE MP

Citation: Mp. Fiore, A COINDUCTION PRINCIPLE FOR RECURSIVE DATA-TYPES BASED ON BISIMULATION, Information and computation, 127(2), 1996, pp. 186-198