TYPOL : a formalism to implement natural semantics

Rapport (Rapport De Recherche) Année : 1988

(1)

Thierry Despeyroux

Design and Implementation of Programming Tools

Disponible dans les fichiers attachés à ce doucment

Autre [cs.OH]

Fichier principal

RT-0094.pdf (2.2 Mo)

https://inria.hal.science/inria-00070072

Soumis le : vendredi 19 mai 2006-19:01:48

Dernière modification le : mercredi 15 mars 2023-08:58:08

Archivage à long terme le : mardi 22 février 2011-11:16:27

inria-00070072 , version 1 (19-05-2006)

Thierry Despeyroux. TYPOL : a formalism to implement natural semantics. [Research Report] RT-0094, INRIA. 1988, pp.56. ⟨inria-00070072⟩

INRIA INRIA-RRRT INRIA2 LARA

147 Consultations

139 Téléchargements