Обсуждение:Типизированное лямбда-исчисление

В одной из версий этой страницы выборочно используется текст из источника, распространяемого под свободной лицензией (см. список авторов в истории правок).