scientific article; zbMATH DE number 3997132

MaRDI QIDQ4723264zbMATH OpenFDO

Authors Axel Poigné

Publication date 1986

zbMATH Keywords

functional programming\(\lambda \)-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Functional programming and lambda calculus (68N18)

Cited in

(4)

• scientific article; zbMATH DE number 4010480 (Why is no real title available?)
• Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
• Semantics of the typed -calculus with substitution in a cartesian closed category
• scientific article; zbMATH DE number 3940711 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4723264)