Publication:4260707

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