Pages that link to "Item:Q4722038"
From MaRDI portal
The following pages link to Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic (Q4722038):
Displayed 4 items.
- Equivalences between pure type systems and systems of illative combinatory logic (Q2565990) (← links)
- A weak absolute consistency proof for some systems of illative combinatory logic (Q3043111) (← links)
- Category theory based on combinatory logic (Q3335754) (← links)
- Some generalizations to two systems of set theory based on combinatory logic (Q4726221) (← links)