Login / Signup

Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework.

Victor ArrialGiulio GuerrieriDelia 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