scientific article; zbMATH DE number 756051

MaRDI QIDQ4698362zbMATH OpenFDO

Authors Roy L. Crole, Andrew D. Gordon

Publication date 28 January 1996

zbMATH Keywords

programming languagesmetalogics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Artificial intelligence (68T99) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Computational adequacy of the FIX-logic
• Computational adequacy via ‘mixed’ inductive definitions
• Publication:4490356
• Computational types from a logical perspective
• Meta-theory à la carte

Cited in

(2)

• Computational adequacy via ‘mixed’ inductive definitions
• Computational adequacy of the FIX-logic

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