most citedA Finite Model Property for Intersection Types

7 citations · 7 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2015★ 7 cited

A Finite Model Property for Intersection Types

Rick Statman

We show that the relational theory of intersection types known as BCD has the finite model property; that is, BCD is complete for its finite models. Our proof uses rewriting techni…