Лялецкий, А. (2014). Новые доказательства важных теорем бестипового экстенсионального λ–исчисления. Інститут кібернетики ім. В.М. Глушкова НАН України.
Chicago Style (17th ed.) CitationЛялецкий, А.А. Новые доказательства важных теорем бестипового экстенсионального λ–исчисления. Інститут кібернетики ім. В.М. Глушкова НАН України, 2014.
MLA (8th ed.) CitationЛялецкий, А.А. Новые доказательства важных теорем бестипового экстенсионального λ–исчисления. Інститут кібернетики ім. В.М. Глушкова НАН України, 2014.
Warning: These citations may not always be 100% accurate.