scientific article; zbMATH DE number 1231614

MaRDI QIDQ4222937zbMATH OpenFDO

Authors Dave Sands

Publication date 6 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10012

zbMATH Keywords

functional languageoperational equivalence

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Computing with contexts
• Plug and play the theory of contexts in higher-order abstract syntax
• A calculus of lambda calculus contexts
• The theory of contexts for first order and higher order abstract syntax
• A typed context calculus

Cited in

(7)

• Computing with contexts
• Contexts in mathematical reasoning and computation
• Relational reasoning about contexts
• Plug and play the theory of contexts in higher-order abstract syntax
• scientific article; zbMATH DE number 177838 (Why is no real title available?)
• scientific article; zbMATH DE number 2154394 (Why is no real title available?)
• Consistency of the theory of contexts

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