Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications

Journal of Logical and Algebraic Methods in Programming

Journal Article

Maria Frade

Luís Pinto

Publication

Year of publication: 2023

Identifiers

Locators

Alternative Titles