scientific article; zbMATH DE number 1479641

zbMath0942.68612MaRDI QIDQ4490757

Paola Giannini, Ferruccio Damiani

Publication date: 20 July 2000

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items

Intersection type assignment systems ⋮ A resource aware semantics for a focused intuitionistic calculus ⋮ Type inference for rank-2 intersection types using set unification ⋮ Refinement types for program analysis