HAL Id: hal-00381039
https://hal.archives-ouvertes.fr/hal-00381039
Submitted on 5 May 2009
HAL
is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from
L’archive ouverte pluridisciplinaire
HAL, estdestinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de
A General Type for Storage Operators
Karim Nour
To cite this version:
Karim Nour. A General Type for Storage Operators. Mathematical Logic Quarterly, Wiley, 1995, 41,
pp.505-514. �hal-00381039�
A General Type for Storage Operators
Karim NOUR
LAMA - Equipe de Logique, Universit´e de Chamb´ery 73376 Le Bourget du Lac
e-mail nour@univ-savoie.fr
Abstract