scientific article; zbMATH DE number 1088052

MaRDI QIDQ4364401zbMATH OpenFDO

Authors Philippa Gardner, Masahito Hasegawa

Publication date 17 November 1997

zbMATH Keywords

categorical modelscomputationcomputational lambda calculushigher-order action calculitype theories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1231609
• scientific article; zbMATH DE number 1223613
• scientific article; zbMATH DE number 1555188
• Calculi for interaction

Cited in

(9)

• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• scientific article; zbMATH DE number 1223613 (Why is no real title available?)
• scientific article; zbMATH DE number 1231609 (Why is no real title available?)
• scientific article; zbMATH DE number 1088033 (Why is no real title available?)
• Categorical logic of names and abstraction in action calculi
• scientific article; zbMATH DE number 1555188 (Why is no real title available?)
• ACTION TYPES IN STIT SEMANTICS
• scientific article; zbMATH DE number 1930740 (Why is no real title available?)
• scientific article; zbMATH DE number 7450001 (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 Q4364401)