The following pages link to (Q3995928):
Displaying 6 items.
- Solving planning and design problems in the process industry using mixed integer and global optimization (Q817211) (← links)
- On the adequacy of representing higher order intuitionistic logic as a pure type system (Q1194249) (← links)
- Transfinite type theory and provability of second order formulas (Q1238797) (← links)
- (In)consistency of Extensions of Higher Order Logic and Type Theory (Q3612441) (← links)
- (Q4263871) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)