The minimal relevant logic B+, seen as a type discipline, includes an extension of Curry types known as the intersection type discipline. We will show that the full logic B+ gives a type assignment system which produces a model of Plotkin's call-by-value lambda-calculus.