Подскажите, пожалуйста, что почитать. Интересует лямбда исчисление, теория типов и реляционная алгебра.
И доступное (понятное, бесплатное и т.д. ) И, желательно, на русском. Хотя, если ничего нет, то и на англ. пойдет.
Заранее спасибо.