Sharing a Perspective on the λ-Calculus.

Beniamino Accattoli

Published in: Onward! (2023)

Keyphrases

viewpoint
databases
multiscale
artificial neural networks
constraint satisfaction problems
formal language
relational calculus
algebraic structure