scientific article; zbMATH DE number 3997132

zbMATH Open0615.68003MaRDI QIDQ4723264FDOQ4723264

Authors: Axel Poigné 

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4010480
• scientific article; zbMATH DE number 3875278
• scientific article; zbMATH DE number 3940711
• scientific article; zbMATH DE number 4027427
• scientific article; zbMATH DE number 3919789

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)

• Title not available (Why is that?)
• Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
• Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category
• Title not available (Why is that?)

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)