Pages that link to "Curry-Howard-Lambek correspondence"
Jump to navigation
Jump to search
The following pages link to Curry-Howard-Lambek correspondence:
Displayed 6 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Book/Categories for the Working Mathematician (← links)
- Arithmetic (← links)
- Book/证明方法与理论 (← links)
- Book/扩展的三段论及自动推理 (← links)
- Paper/Intertwined Recursion Tree Transformations and Linear Systems (← links)
- Curry-Howard correspondence (← links)