柯里-霍华德同构 – Wikipedia

柯里-霍华德同构 – Wikipedia.

Lambda演算和自然演绎的对应关系

Comments are closed.