Curry-Howard-Lambek_Correspondence

  • 证明↔程序↔态射
  • 命题↔类型↔对象
Curry-Howard-Lambek_Correspondence
http://kaelvio.com/Curry-Howard-Lambek_Correspondence/
作者
采薇
发布于
2025年10月11日
许可协议