scientific article; zbMATH DE number 2185671

zbMATH Open1063.03523MaRDI QIDQ3024847FDOQ3024847

Authors: Vincent Padovani 

Publication date: 4 July 2005

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (4)

• Third-order matching in the polymorphic lambda calculus
• Decidability of all minimal models
• The variable containment problem
• Higher-order rewrite systems and their confluence

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