scientific article; zbMATH DE number 5360218

MaRDI QIDQ3532206zbMATH OpenFDO

Authors Miki Tanaka, John Power

Publication date 3 November 2008

zbMATH Keywords

bindingcategorical semanticsendofunctorsinitial algebrapseudo-monadrecursionsubstitutiontypes

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Abstract data types; algebraic specification (68Q65)

Recommendations

• A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
• Typed Lambda Calculi and Applications
• Abstract syntax: substitution and binders
• Consistency of the theory of contexts
• A proposed categorical semantics for ML modules
• Higher-order containers
• Substitution in non-wellfounded syntax with variable binding
• An operational domain-theoretic treatment of recursive types
• scientific article; zbMATH DE number 1189286
• Substitution in non-wellfounded syntax with variable binding

Cited in

(7)

• Higher dimensional categories: induction on extensivity
• scientific article; zbMATH DE number 7362475 (Why is no real title available?)
• Abstract syntax: substitution and binders
• A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
• Typed Lambda Calculi and Applications
• Initial semantics for strengthened signatures
• Syntax monads for the working formal metatheorist

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 Q3532206)