scientific article; zbMATH DE number 5239554

zbMath1135.03006MaRDI QIDQ5442833

J. Roger Hindley

Publication date: 22 February 2008

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

zbMATH Keywords

intuitionistic logicfunctional programming languagetype-theorylambda-calculustype-checking algorithmtype-assignmentpolymorphic theories

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (5)

A completeness result for a realisability semantics for an intersection type system ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The complexity of higher-order queries ⋮ Unnamed Item

This page was built for publication: