На сколько я помню, по-русски принято называть именно „Ховард” (в „изоморфизм Карри-Ховарда”)

(Reply to this) (Thread)

Спасибо. Я и Ховардов, и Говардов достаточно нашел, но в конце концов тоже выбрал Ховарда, потому что мне самому так больше нравится.

(Reply to this) (Parent)