Concrete categories and higher-order recursion (2022)
Attributed to:
Effects and algebraic theories.
funded by
NERC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1145/3531130.3533370
Publication URI: http://dx.doi.org/10.1145/3531130.3533370
Type: Conference/Paper/Proceeding/Abstract