The following pages link to Axiomatizing the quote (Q2915703):
Displaying 6 items.
- Logic in quotes (Q1094403) (← links)
- Fixed points in lambda calculus. an eccentric survey of problems and solutions (Q1688969) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- (Q4625694) (← links)
- On sets of terms having a given intersection type (Q5043597) (← links)
- Refutation of Sallé's longstanding conjecture (Q5111316) (← links)