scientific article; zbMATH DE number 1761899

zbMATH Open0988.68531MaRDI QIDQ4537518FDOQ4537518

Authors: Delia Kesner 

Publication date: 1 July 2002

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

zbMATH Keywords

pattern matchingextensionalitysimply typed lambda calculusfixpointssurjective pairingproduct typesconfluent reduction system

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Cited In (2)

• Combining algebraic rewriting, extensional lambda calculi, and fixpoints
• Unification of higher-order patterns in a simply typed lambda-calculus with finite products and terminal type

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