Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cristina Matache, Sean K. Moss, Sam Staton. Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. In Christel Baier, Dana Fisman, editors, LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022. ACM, 2022. [doi]

This author has not been identified. Look up 'Cristina Matache' in GoogleThis author has not been identified. Look up 'Sean K. Moss' in GoogleThis author has not been identified. Look up 'Sam Staton' in Google

runs on WebDSL