Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +35
Публикации с тегом lambda calculus
Реализуем Type Inference на Rust — Часть #2: Простой Lambda Calculus +6
Лямбда-исчисление в 397 байтах +60
?-исчисление и LISP +29
