- formalized realizability
- мат. формализованная реализуемость
Большой англо-русский и русско-английский словарь. 2001.
formalized realizability
Смотреть что такое "formalized realizability" в других словарях:
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
History of logic — Philosophy ( … Wikipedia
