«Church - Rosser theorem»

Church - Rosser theorem в энциклопедиях

Источники

Большой англо-русский и русско-английский словарь

Поделиться

Большой англо-русский и русско-английский словарь

теорема Черча - Россера (в лямбда-исчислении)