Лялецкий, А. (2014). Новые доказательства важных теорем бестипового экстенсионального λ–исчисления. Інститут кібернетики ім. В.М. Глушкова НАН України.
Chicago-Zitierstil (17. Ausg.)Лялецкий, А.А. Новые доказательства важных теорем бестипового экстенсионального λ–исчисления. Інститут кібернетики ім. В.М. Глушкова НАН України, 2014.
MLA-Zitierstil (8. Ausg.)Лялецкий, А.А. Новые доказательства важных теорем бестипового экстенсионального λ–исчисления. Інститут кібернетики ім. В.М. Глушкова НАН України, 2014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.