The following pages link to Epsilon Calculi (Q3433105):
Displaying 5 items.
- A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms (Q528519) (← links)
- Completeness of indexed \(\varepsilon\)-calculus (Q1411658) (← links)
- Intensional identities (Q3977030) (← links)
- (Q5688813) (← links)
- [Russian Text Ignored] (Q5896510) (← links)