Skip to Main content Skip to Navigation
Reports

Ambiguous Typing

Loïc Pottier 1
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We propose a method to approximate the language of mathematicians by using amgiguities in the notations, in the context of type theory.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00117458
Contributor : Loïc Pottier <>
Submitted on : Friday, December 1, 2006 - 4:36:07 PM
Last modification on : Monday, April 27, 2020 - 9:14:06 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 11:44:58 PM

Files

rap-typage.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00117458, version 1

Citation

Loïc Pottier. Ambiguous Typing. [Research Report] 2006. ⟨inria-00117458v1⟩

Share

Metrics

Record views

12

Files downloads

23