Login / Signup
Execution Time of lambda-Terms via Denotational Semantics and Intersection Types
Daniel de Carvalho
Published in:
CoRR (2009)
Keyphrases
</>
denotational semantics
programming language
databases
video sequences
data streams
general purpose