scientific article; zbMATH DE number 2086682
From MaRDI portal
Publication:4737219
zbMath1057.03023MaRDI QIDQ4737219
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2380/23800913.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)
Related Items (12)
Principality and type inference for intersection types using expansion variables ⋮ Nominal essential intersection types ⋮ Space-aware ambients and processes ⋮ A completeness result for a realisability semantics for an intersection type system ⋮ Type Inference for Rank 2 Gradual Intersection Types ⋮ On Polymorphic Recursion, Type Systems, and Abstract Interpretation ⋮ Enumerated type semantics for the calculus of looping sequences ⋮ Strong normalization through intersection types and memory ⋮ Type Disciplines for Analysing Biologically Relevant Properties ⋮ Recasting ML\(^{\text F}\) ⋮ Polar Type Inference with Intersection Types and ω ⋮ Implementing Compositional Analysis Using Intersection Types With Expansion Variables
This page was built for publication:
