Skip to main content

Concrete categories and higher−order recursion (With applications including probability‚ differentiability‚ and full abstraction)

Cristina Matache‚ Sean K. Moss and Sam Staton

Journal
CoRR
Volume
abs/2205.15917
Year
2022