Sémantique du temps et lambda-calcul

Sémantique du temps et lambda-calcul

Enregistré dans:
Détails bibliographiques
Auteur principal : Renaud Francis
Format : Livre
Langue : français
Titre complet : Sémantique du temps et lambda-calcul / Francis Renaud,...
Publié : Paris : Presses universitaires de France , 1996
Description matérielle : VIII-252 p.
Collection : Linguistique nouvelle. ; 1996
Sujets :
Sémantique > Modèles mathématiques
Lambda-calcul
Description
Notes : Bibliogr. p. 243-250. Index
ISBN : 2-13-047709-7