Two Decreasing Measures for Simply Typed Lambda-Terms (Extended Version).

Pablo Barenbaum Cristian Sottile

Published in: CoRR (2023)

Keyphrases

higher order
neural network
expert systems
evaluation measures
database
databases
image processing
co occurrence
programming language
language model
lambda calculus