| The minimal relevant logic and the call-by-value lambda calculus (1999) | |||||||||||||||
Abstract | |||||||||||||||
| 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-calculus. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||