Login / Signup

Minimal and Optimal Computations of Recursive Programs.

Gérard BerryJean-Jacques Lévy
Published in: POPL (1977)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs