Ambiguous Typing

Rapport (Rapport De Recherche) Année : 2006

(1)

Loïc Pottier

Mathematical, Reasoning and Software

We propose a method to approximate the language of mathematicians by using amgiguities in the notations, in the context of type theory.

type theory formalization ambiguities notations

Logique en informatique [cs.LO]

Fichier principal

RR-6041.pdf (128.86 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

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

Soumis le : lundi 4 décembre 2006-11:00:18

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

Archivage à long terme le : lundi 20 septembre 2010-17:37:53

inria-00117458 , version 1 (01-12-2006)

inria-00117458 , version 2 (04-12-2006)

Loïc Pottier. Ambiguous Typing. [Research Report] RR-6041, INRIA. 2006, pp.11. ⟨inria-00117458v2⟩

INRIA INRIA-RRRT INRIA2 LARA

83 Consultations

89 Téléchargements