research
∙
05/15/2023
Extensional Taylor Expansion
We introduce a calculus of extensional resource terms. These are resourc...
share
research
∙
02/09/2023
Strategies as Resource Terms, and their Categorical Semantics
As shown by Tsukada and Ong, normal (extensional) simply-typed resource ...
research
∙
05/06/2021
