Type Theory and the Informal Language of Mathematics.

Published in: TYPES (1993)

Keyphrases

strongly typed
type checking
programming language
computer algebra
formal theory
natural language
data sets
databases
computer science
theoretical framework
language learning
language processing
target language
theoretical foundation
formal logic
cognitive models
speech acts
database
real time