Login / Signup

Execution time of λ-terms via denotational semantics and intersection types.

Daniel de Carvalho
Published in: Math. Struct. Comput. Sci. (2018)
Keyphrases
  • denotational semantics