scientific article; zbMATH DE number 1555190

MaRDI QIDQ4525290zbMATH OpenFDO

Authors Christophe Raffalli

Publication date 22 January 2001

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35) Abstract data types; algebraic specification (68Q65)

Recommendations

• Résultats de complétude pour des classes de types du système $\mathcal {AF}2$
• Affine Systems of Equations and Counting Infinitary Logic
• Affine systems of equations and counting infinitary logic
• A note on equality in finite‐type arithmetic
• Complete types in an extension of the system \({\mathcal A}{\mathcal F}2\)
• Syntactical data types of system F
• On abstract data types presented by multiequations
• scientific article; zbMATH DE number 1484751
• Type system _
• Finite type invariants

Cited in

(5)

• Complete types in an extension of the system \({\mathcal A}{\mathcal F}2\)
• scientific article; zbMATH DE number 125894 (Why is no real title available?)
• A second order theory of infinite trees
• Résultats de complétude pour des classes de types du système $\mathcal {AF}2$
• Infinite objects in type theory

Describes a project that uses

Uses Software

• Automath

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