Linear lambda-calculus is linear.

Alejandro Díaz-Caro Gilles Dowek

Published in: CoRR (2022)

Keyphrases

lambda calculus
artificial intelligence
case study
software engineering
co occurrence
programming language