Login / Signup

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

Yannick ForsterGert Smolka
Published in: J. Autom. Reason. (2019)
Keyphrases
  • database
  • formal model
  • conceptual model