scientific article

zbMath0797.68026MaRDI QIDQ3142164

Furio Honsell, Paola Giannini, Simonetta Ronchi della Rocca

Publication date: 5 December 1993

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

zbMATH Keywords

decidabilitytype inferencetype assignment systemssemi-unification\(\lambda\) calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15) Combinatory logic and lambda calculus (03B40)

Related Items

Intersection-types à la Church ⋮ Comparing cubes of typed and type assignment systems ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Polymorphic type inference for the relational algebra ⋮ Typability and type checking in System F are equivalent and undecidable ⋮ Alpha-conversion and typability