Typed lambda-calculi and superclasses of regular functions.

Lê Thành Dung Nguyên

Published in: CoRR (2019)

Keyphrases

lambda calculus
higher order
pairwise
neural network
programming language
databases
e learning
data model
predicate calculus