scientific article; zbMATH DE number 1302672

zbMath0929.03022MaRDI QIDQ4249224

A. J. Kfoury

Publication date: 16 June 1999

Full work available at URL: https://eudml.org/doc/208918

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

zbMATH Keywords

undecidability\(\lambda\)-calculusintersection types\(\beta\)-strong normalization of terms\(\beta\)-unification

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (5)

Principality and type inference for intersection types using expansion variables ⋮ On strong normalization and type inference in the intersection type discipline ⋮ Polar Type Inference with Intersection Types and ω ⋮ Implementing Compositional Analysis Using Intersection Types With Expansion Variables ⋮ Intersection Typed λ-calculus

This page was built for publication: