Concepedia
Statistics
Publications
1
Citations
50
H-Index
Active since
1980
M. Dezani is an author specializing in polymorphic types, syntax, and type systems.
Publications per year
1980–1980
Principal type-schemes and lambda-calculus semantics
Massimiliano Coppo, M. Dezani, Betti Venneri · 1980 · 50 citations
Computing, Computer Science, Programming Languages +13
1–1 of 1