8494 articles  [english version]

inria-00075421, version 1

On sequential functions

Boubakar Gamatié a, 1

N° RR-1138 (1989)

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.

  • a –  INRIA
  • 1 :  MICAS (INRIA - IRISA)
  • INRIA – CNRS – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1
  • Domaine : Informatique/Autre
  • Référence interne : RR-1138
 
  • inria-00075421, version 1
  • http://hal.inria.fr/inria-00075421
  • oai:hal.inria.fr:inria-00075421
  • Contributeur : Rapport De Recherche Inria <>
  • Soumis le : Mercredi 24 Mai 2006, 18:10:51
  • Dernière modification le : Lundi 18 Avril 2011, 13:00:50