@MISC{ Luca1,
  AUTHOR = "{Luca Cardelli}",
  TITLE  = "{A Semantics of Multiple Inheritance}",
  YEAR   = "1988",
  NOTE   = "{Information and Computation 76, 138-164,1988}"
}

Современные языки программирования и .NET. Основы объектно-ориентированного подхода. Курс лекций
Зыков С.
Зыков С. Современные языки программирования и .NET. Основы объектно-ориентированного подхода. Курс лекций. - М.: Изд-во МИФИ (ГУ), 2003.

Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.

 http://www.ict.edu.ru/ft/005130//index.html