Login / Signup
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