何幻
Programming is about ideas,
languages are just a way to express them.
首页
归档
分类
Logic
分类
Gradual Typing
05-31
你好，类型（十）：Parametric polymorphism
10-21
你好，类型（九）：Let polymorphism
10-14
你好，类型（八）：Subtype
10-13
你好，类型（七）：Recursive type
09-23
你好，类型（六）：Simply typed lambda calculus
09-19
你好，类型（五）：Predicate logic
09-16
Hilbert-style和Gentzen-style演绎系统
09-15
你好，类型（四）：Propositional logic
09-10
你好，类型（三）：Combinatory logic
09-07
你好，类型（二）：Lambda calculus
09-06
你好，类型（一）：开篇
09-05
类型理论之拙见
05-19
形式证明与逻辑推理
03-01
数理逻辑定义汇总
11-23
模型观
06-24