scientific article
From MaRDI portal
Publication:4035227
zbMath0765.03007MaRDI QIDQ4035227
Fabio Alessi, Franco Barbanera
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
\(\lambda\)-calculusintersection typestype inferencecombinatory logicstrong conjunctionuntyped \(\lambda\)-termsprovable realizabilityrealizers of formulas
Related Items (7)
Proof-functional connectives and realizability ⋮ A Realizability Interpretation for Intersection and Union Types ⋮ The ``relevance of intersection and union types ⋮ A typed lambda calculus with intersection types ⋮ Types with intersection: An introduction ⋮ Completeness of type assignment systems with intersection, union, and type quantifiers ⋮ Inhabitation of Low-Rank Intersection Types
This page was built for publication:
