scientific article; zbMATH DE number 1870424

zbMath1069.03019MaRDI QIDQ4793036

Ian A. Mason, Carolyn L. Talcott

Publication date: 18 February 2003

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

zbMATH Keywords

lambda calculusprogram equivalencealgebraic abstract data typesFeferman-Landin logictwo-layered theoriesuniform semanticsvariable type logic of effects

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: