Login / Signup

A revised completeness result for the simply typed λμ-calculus using realizability semantics.

Karim NourMohamad Ziadeh
Published in: Log. Methods Comput. Sci. (2017)
Keyphrases
  • higher order
  • real time
  • artificial intelligence
  • keywords
  • formal semantics
  • algebraic structure