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

URL: https://doi.org/10.1016/j.jlamp.2022.100830

DOI: 10.1016/j.jlamp.2022.100830

Alternative Titles