Concrete categories and higher−order recursion: With applications including probability‚ differentiability‚ and full abstraction
Cristina Matache‚ Sean K. Moss and Sam Staton
Book Title
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science‚ Haifa‚ Israel‚ August 2 − 5‚ 2022
Editor
Christel Baier and Dana Fisman
Pages
57:1–57:14
Publisher
ACM
Year
2022