Back to Results
First PageMeta Content
Type theory / Data types / Object-oriented programming / Models of computation / Deduction / Type system / Symbol / Subtype polymorphism / Lambda calculus / Software engineering / Computing / Logic


A Lambda Calculus of Incomplete Objects Viviana Bono∗ ∗ ∗∗
Add to Reading List

Document Date: 2005-06-07 07:29:22

Open Document

File Size: 132,03 KB

Share Result on Facebook
UPDATE