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.
Type de document :
Rapport
[Research Report] RR-6041, INRIA. 2006, pp.11
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00117458
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 4 décembre 2006 - 11:00:18
Dernière modification le : jeudi 11 janvier 2018 - 16:38:57
Document(s) archivé(s) le : lundi 20 septembre 2010 - 17:37:53

Fichiers

RR-6041.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00117458, version 2

Collections

Citation

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

Partager

Métriques

Consultations de la notice

174

Téléchargements de fichiers

115