scientific article; zbMATH DE number 1301856

MaRDI QIDQ4247079zbMATH OpenFDO

Authors Chuck Liang

Publication date 16 June 1999

zbMATH Keywords

\(\lambda\)-calculusfree variableshigher-order abstract syntaxhigher-order logichigher-order term rewriting systemsmeta-level representation of subtermssubexpressions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Recommendations

• Higher-order substitutions
• scientific article; zbMATH DE number 1696799
• Higher-order abstract syntax in Isabelle/HOL
• scientific article; zbMATH DE number 1405629

Cited in

(4)

• Higher-order substitutions
• Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting
• scientific article; zbMATH DE number 1189105 (Why is no real title available?)
• scientific article; zbMATH DE number 978237 (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 Q4247079)