Login / Signup

Surreal Numbers in Coq.

Lionel Elie Mamane
Published in: TYPES (2004)
Keyphrases