Publication:4260707

From MaRDI portal

Revision as of 18:04, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

zbMath0931.03022MaRDI QIDQ4260707

Neil Ghani, Eike Ritter, V. C. V. de Paiva

Publication date: 22 November 1999

zbMATH Keywords

categorical semantics; presheaves; linear calculi; cartesian calculi of explicit substitutions

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68Q55: Semantics in the theory of computing

03G30: Categorical logic, topoi

18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)

03B40: Combinatory logic and lambda calculus

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4260707&oldid=18163189"