scientific article; zbMATH DE number 4021135

zbMATH Open0628.03043MaRDI QIDQ3764151FDOQ3764151

Jean-Yves Girard

Publication date: 1987

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

Recommendations

• scientific article
• 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

zbMATH Keywords

ordinalssystem F of variable typesdilatorscategorical constructions for logic and computer sciencedenotational semantics for the system F

Mathematics Subject Classification ID

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

Cited In (6)

• \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy
• Interpreting GPFCSP within the LΠ ½ logic framework
• Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics
• Introduction to linear bicategories
• Title not available (Why is that?)
• Set recursion and \(\Pi ^ 1_ 2\)-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 Q3764151)