Algorithmic languages and calculi (London, 1997)
Keywords: Algebraic geometry