TheoryOfObjects
Last edit November 15, 2007A Theory of Objects by MartinAbadi and LucaCardelli. Springer, ISBN 0-387-94775-2.
See http://lucacardelli.name/TheoryOfObjects.html for a table of contents.
CategoryBook
See http://lucacardelli.name/TheoryOfObjects.html for a table of contents.
CategoryBook