我在几周内完成了考试，作为学习的一部分，我一直都会遇到这样的问题：
给出简单类型的lambda演算的语法，即术语，类型和良构的规则。
我一直在阅读这里和那里的一些材料，从我可以看出的条款是：
M :: = c | x | λx：T.M'|中号<子> 1 中号<子> 2
和类型是：
T :: = T 1 - ＆gt; T 2 |布尔| INT
但我正在努力遵守规则。任何人都可以帮助规则，并确认我的类型和条款是否正确？
提前致谢！
编辑：已解决
条款：
t :: = x | λx.t|吨<子> 1 吨<子> 2
和类型是：
T :: = B | Ť<子> 1 - ＆GT;吨<子> 2
规则：
x：T 1 t = T 2
--------------
λx.t= T 1 - > T 2
和
t 1 = T 1 - > T 2 t 2 = T 1
--------------------
吨<子> 1 吨<子> 2 ：T <子> 2