scientific article; zbMATH DE number 32501

zbMATH Open0745.03012MaRDI QIDQ3988401FDOQ3988401

Şeref Mirasyedioğlu

Publication date: 28 June 1992

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

zbMATH Keywords

lambda calculuscombinatorsreduction systemBöhm's theoremstrong normal forms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A Nominal Axiomatization of the Lambda Calculus

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Combinatory reduction systems: Introduction and survey 👍 👎
• Reduction System for Extensional Lambda-mu Calculus 👍 👎
• Infinitary combinatory reduction systems 👍 👎
• Term Rewriting and Applications 👍 👎
• Combinatory weak reduction in lambda calculus 👍 👎
• Refining reduction in the lambda calculus 👍 👎
• Toward a reduction system commuting with beta reduction in the partial lambda calculus 👍 👎

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