Login / Signup

Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq.

Yannick ForsterGert Smolka
Published in: ITP (2017)
Keyphrases
  • formal model
  • knowledge representation
  • higher order