Continuing on Objects and Classes

PRL Seminars

Abstract

I will show how usual object oriented features work in type theory.