scientific article

zbMATH Open0776.03012MaRDI QIDQ4016066

Shaokui Mo

Publication date: 16 December 1992

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

zbMATH Keywords

recursion operatorsinverse operatorsconstant functionalidentity functionalspairing functionals

Mathematics Subject Classification ID

General logic (03B99) Set theory (03E99)

Recommendations

• Functional interpretations of linear and intuitionistic logic 👍 👎
• A functional logic for higher level reasoning about computation 👍 👎
• From Logic to Functional Logic Programs 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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