Ambiguous Typing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2006

Ambiguous Typing

Loïc Pottier

Abstract

We propose a method to approximate the language of mathematicians by using amgiguities in the notations, in the context of type theory.
Fichier principal
Vignette du fichier
RR-6041.pdf (128.86 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00117458 , version 2

Cite

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

Share

Gmail Facebook X LinkedIn More