Semantics of a Sequential Language for Exact Real-Number Computation.

José Raymundo Marcial-Romero Martín Hötzel Escardó

Published in: LICS (2004)

Keyphrases

natural language
computational complexity
small number
specification language
conceptual model
machine learning
logic programming
intended meaning