Pour citer cet article

Référence électronique

Aarne Ranta, « Computational semantics in type theory », Mathématiques et sciences humaines [En ligne], 165 | Printemps 2004, mis en ligne le 22 février 2006, consulté le 22 mai 2018. URL : http://journals.openedition.org/msh/2925  ; DOI : 10.4000/msh.2925