Coinductive Models of Finite Computing Agents. Electr. Notes Theor. Comput. Sci. 19, 1999 CNRS and Département d’Informatique UMR 8548, École Normale Supérieure, 45, rue d’Ulm - F 75730 Paris cedex 05 E-mail address: http://www.di.ens.fr/users/longo (0)

by P Wegner, D Goldin
Venue:CNRS and Département de Mathématiques et Applications.UMR 8553, École Normale Supérieure, 45, rue d’Ulm - F 75730 Paris