Approches formelles de la sémantique naturelle — École d'été de linguistique pour informaticiens (01 ; 1981 ; Toulouse)