scientific article; zbMATH DE number 3596799
From MaRDI portal
Publication:4163188
zbMath0384.03008MaRDI QIDQ4163188
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (13)
Principality and type inference for intersection types using expansion variables ⋮ Intersection types for explicit substitutions ⋮ Intersection type assignment systems ⋮ Type theories, normal forms, and \(D_{\infty}\)-lambda-models ⋮ A completeness result for a realisability semantics for an intersection type system ⋮ Characterising Strongly Normalising Intuitionistic Sequent Terms ⋮ Unnamed Item ⋮ Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) ⋮ Unnamed Item ⋮ On strong normalization and type inference in the intersection type discipline ⋮ Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage ⋮ Complete restrictions of the intersection type discipline ⋮ Unnamed Item
This page was built for publication:
