Login / Signup
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus.
Torben Æ. Mogensen
Published in:
Ershov Memorial Conference (2001)
Keyphrases
</>
query language
object oriented
general purpose
data management