scientific article; zbMATH DE number 4068831

MaRDI QIDQ3801522zbMATH OpenFDO

Authors Marek Zaionc

Publication date 1987

zbMATH Keywords

regular expressionsregular matching treestyped \(\lambda\)-calculusunification algorithms

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 3935004
• Unification of higher-order patterns in a simply typed lambda-calculus with finite products and terminal type
• A -unifiability test for set theory
• Higher-order unification via combinators
• scientific article; zbMATH DE number 1302672

Cited in

(3)

• A Decision Procedure for Regular Expression Equivalence in Type Theory
• Regular patterns in second-order unification
• scientific article; zbMATH DE number 3935004 (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 Q3801522)