scientific article; zbMATH DE number 512791

zbMath0788.68022MaRDI QIDQ4281484

Benjamin C. Pierce

Publication date: 10 March 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intersection typessubtypingtyped \(\lambda\)-calculusbounded quantificationtypecheckingtyped programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Parallel algorithms in computer science (68W10) Combinatory logic and lambda calculus (03B40)

Related Items

Intersection type assignment systems, Higher-order subtyping, A typed lambda calculus with intersection types, Recasting ML\(^{\text F}\)