Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework.

Victor Arrial Giulio Guerrieri Delia Kesner

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

main contribution
theoretical framework
information systems
multiscale
framework enables
data sets
learning algorithm
search engine
social networks
website
spatial information