Published 2006 | Version v1
Report Metadata-only

Ambiguous Typing

Creators

Contributors

Description

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

Additional details

Identifiers

URL
https://inria.hal.science/inria-00117458
URN
urn:oai:HAL:inria-00117458v2

Origin repository

Origin repository
UNICA