scientific article; zbMATH DE number 1479634

zbMath0942.03508MaRDI QIDQ4490749

Philippa Gardner

Publication date: 20 July 2000

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

Mathematics Subject Classification ID

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

Related Items (18)

Intersection type assignment systems ⋮ Unnamed Item ⋮ A resource aware semantics for a focused intuitionistic calculus ⋮ Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) ⋮ A strong call-by-need calculus ⋮ Structural rules and algebraic properties of intersection types ⋮ Quantitative weak linearisation ⋮ Node Replication: Theory And Practice ⋮ Tight typings and split bounds, fully developed ⋮ Unnamed Item ⋮ The spirit of node replication ⋮ Unnamed Item ⋮ The bang calculus revisited ⋮ Unnamed Item ⋮ The bang calculus revisited ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reasoning About Call-by-need by Means of Types

Uses Software

• Miranda

This page was built for publication: