Abstract : We introduce SK-domains are define S-functions which generalise the notion of sequential functions, already introduced by Milner, by Vuillemin and by Kahn and Plotkin ; we then show that SK-domains and S-functions constitute a A-category.
https://hal.inria.fr/inria-00075421
Contributeur : Rapport de Recherche Inria
<>
Soumis le : mercredi 24 mai 2006 - 18:10:51
Dernière modification le : vendredi 23 mars 2018 - 14:04:05
Document(s) archivé(s) le : mardi 12 avril 2011 - 23:04:35
