On sequential functions
Résumé
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.