scientific article
From MaRDI portal
Publication:3764151
zbMATH Open0628.03043MaRDI QIDQ3764151
Publication date: 1987
Title of this publication is not available (Why is that?)
ordinalssystem F of variable typesdilatorscategorical constructions for logic and computer sciencedenotational semantics for the system F
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)
Related Items (4)
Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics ⋮ \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy ⋮ 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)
