Logique de programmes et sémantique intensionnelle
pp. 229-240
Détails de la publication
Publié dans:
(1983) La sémantique logique. Histoire Épistémologie Langage 5 (2).
Pages: 229-240
Citation complète:
Audureau Eric, 1983, Logique de programmes et sémantique intensionnelle. Histoire Épistémologie Langage 5 (2), La sémantique logique, 229-240.