Login / Signup

Linear Lambda-Calculus is Linear.

Alejandro Díaz-CaroGilles Dowek
Published in: FSCD (2022)
Keyphrases
  • lambda calculus
  • general purpose
  • database
  • artificial intelligence
  • expert systems