Login / Signup

Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines.

Malgorzata BiernackaDariusz BiernackiSergueï LengletPiotr PolesiukDamien PousAlan Schmitt
Published in: Log. Methods Comput. Sci. (2024)
Keyphrases
  • lambda calculus
  • low level
  • databases
  • artificial intelligence
  • case study
  • co occurrence
  • higher level