Pages that link to "Item:Q3342573"
From MaRDI portal
The following pages link to Aspects of higher order categorical logic (Q3342573):
Displaying 11 items.
- Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category (Q687575) (← links)
- The calculus of constructions (Q1108266) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Categorical logic and type theory (Q1279608) (← links)
- Are the traditional philosophies of mathematics really incompatible? (Q1323041) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES (Q3195592) (← links)
- (Q3705457) (← links)
- Introduction to higher order categorical logic (Q3727946) (← links)
- Some aspects of categorical logic (Q4325773) (← links)
- (Q4888329) (← links)