scientific article; zbMATH DE number 431765

zbMATH Open0784.68048MaRDI QIDQ3138541FDOQ3138541

Barry Jay

Publication date: 27 March 1994

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

Recommendations

• Relating two categorical models of term rewriting
• scientific article; zbMATH DE number 1086712
• scientific article
• A categorical reduction system for linear logic
• Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL

zbMATH Keywords

denotational semanticsprogramming language semanticsconfluent categoriesconfluently cartesian closed categoriesreduction modellingtyped \(\lambda\)-calulus

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Cited In (4)

• Compositional characterization of observable program properties
• Computing over \(K\)-modules
• Problems in rewriting applied to categorical concepts by the example of a computational comonad
• 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 Q3138541)