A Lambda Calculus of Incomplete Objects (2002) | Heykuki News