A Lambda Calculus of Incomplete Objects.

Viviana Bono, Michele Bugliesi, Luigi Liquori

Browse the full MFCS paper archive.