Login / Signup
A Lambda Calculus for Real Analysis.
Paul Taylor
Published in:
CCA (2005)
Keyphrases
</>
lambda calculus
databases
object oriented databases
inference rules