scientific article; zbMATH DE number 3313431

zbMATH Open0197.00303MaRDI QIDQ5593820FDOQ5593820

W. A. van der Moore

Publication date: 1968

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

zbMATH Keywords

general logicweak ramified type theory

Mathematics Subject Classification ID

Cited In (2)

• Typing Weak MSOL Properties
• Weakly Definable Types

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