scientific article; zbMATH DE number 4021135

MaRDI QIDQ3764151zbMATH OpenFDO

Authors Jean-Yves Girard

Publication date 1987

zbMATH Keywords

categorical constructions for logic and computer sciencedenotational semantics for the system Fdilatorsordinalssystem F of variable types

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4099299
• scientific article; zbMATH DE number 4027466
• Categorical models of logical systems in the mathematical theory of programming
• scientific article; zbMATH DE number 3959364
• scientific article; zbMATH DE number 3875278

Cited in

(6)

• Set recursion and \(\Pi ^ 1_ 2\)-logic
• \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy
• Advances in the Ł and Ł 12 logics
• scientific article; zbMATH DE number 4027466 (Why is no real title available?)
• Introduction to linear bicategories
• Interpreting GPFCSP within the LΠ ½ logic framework

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