Concepedia

Betti Venneri

BV

Statistics

Publications

15

Citations

636

H-Index

13

Active since

1980

Affiliations

University of Turin(Current)

University of Florence

Betti Venneri is an author at University of Turin specializing in computer science, computing, and type systems.

ORCID

Publications per year

1980–2018

15

Publications

15

Functional Characters of Solvable Terms

Massimiliano Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri · Mathematical logic quarterly · 1981 · 196 citations

, , +4

Types for access control

Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese et al. · Theoretical Computer Science · 2000 · 84 citations

, , +11

Principal type schemes for an extended type theory

S. Ronchi Della Rocca, Betti Venneri · Theoretical Computer Science · 1983 · 80 citations

, , +10

Principal type-schemes and lambda-calculus semantics

Massimiliano Coppo, M. Dezani, Betti Venneri · 1980 · 50 citations

, , +13

Intersection Types as Logical Formulae

Betti Venneri · Journal of Logic and Computation · 1994 · 39 citations

, , +15

1–5 of 15