diff --git a/lection-03.tex b/lection-03.tex
index 37dbe22..b397d9a 100644
--- a/lection-03.tex
+++ b/lection-03.tex
@@ -90,7 +90,7 @@
 
 \begin{frame}{Изоморфизм Карри-Ховарда}
 
-Обычно формулируется для лямбда исчисления --- формального алгоритма, хорошо
+Обычно формулируется для лямбда-исчисления --- формального алгоритма, хорошо
 абстрагирующего синтаксис языков программирования (пока не будем углубляться
 в подробности).