skip to main content
Menu
À propos
Évènements
Actualités
Bibliothèques
Musées
Archives
Photothèques
Le projet PSL-Explore
Site web
Outil de recherche
Collections numériques
Crédits et financements
Historique
Découvrir
Expositions virtuelles
Dossiers
MOOC
Conférences
Films
E-publications
Consulter
Collections numériques
Bibliothèques numériques
Revues en ligne et bases de données
Thèses
Publier
Les presses à PSL
> Édition multi-supports
Publier dans une revue scientifique
> FAQ de la publication
Déposer dans une archive ouverte
> L'outil Dissemin
Partager ses données
Liblab
Liblab
Invité
Mon espace
Mon compte
Fermer la session
S’identifier
This feature requires javascript
Liste AZ des revues électroniques
Aide
Langue:
Anglais
Français
Espagnol
Chinois
This feature required javascript
This feature requires javascript
Primo Search
Search For:
Clear Search Box
Search in:
PSL-Explore
Or hit Enter to replace search target
Or select another collection:
Search in:
PSL-Explore
Recherche avancée
Recherche par balayage
This feature requires javascript
This feature requires javascript
KERNEL (A) LANGUAGE FOR MODULES AND ABSTRACT DATA TYPES.
PALO-ALTO : DIGITAL, 1984
Voir les exemplaires
Où trouver le document ?
En savoir +
Demander
Plus
This feature requires javascript
Actions
Ajouter à Mon espace
Supprimer de Mon espace
Courriel
Imprimer
Permalien
Citation
EasyBib
EndNote
RefWorks
Delicious
Export RIS
Export BibTeX
This feature requires javascript
Titre:
KERNEL (A) LANGUAGE FOR MODULES AND ABSTRACT DATA TYPES.
Sujets:
TYPE ABSTRAIT
;
LAMBDA CALCUL
;
SEMANTIQUE
;
Langage de programmation
;
Théorie des Types
;
H-INF.TH.
;
LANGAGE PEBBLE
;
SEMANTIQUE OPERATIONNELLE
Description:
Mines : USA .MAJ:90-04-10
Éditeur:
PALO-ALTO : DIGITAL
Date de publication:
1984
Format:
01 VOL.,51 P. : PR 2 ; 28 CM
Langue:
Anglais
Source:
Mines ParisTech (catalogue)
Liens
Voir dans le catalogue (MINES Paris Tech)
This feature requires javascript
This feature requires javascript
Retour à la liste des résultats
This feature requires javascript
This feature requires javascript
Recherche dans les bases de données distantes en cours. Merci de patienter.
Recherche
dans
scope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
Afficher ce qui a déjà été récupéré
This feature requires javascript
This feature requires javascript