Login / Signup

Fully abstract models for effectful λ-calculi via category-theoretic logical relations.

Ohad KammarShin-ya KatsumataPhilip Saville
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • machine learning algorithms
  • genetic algorithm
  • probabilistic model
  • parameter estimation
  • complex systems
  • statistical model
  • statistical models
  • spatial relations
  • cardinal directions