Pages that link to "Item:Q1892095"
From MaRDI portal
The following pages link to Consistency of a \(\lambda\)-theory with \(n\)-tuples and easy term (Q1892095):
Displaying 6 items.
- Graph easy sets of mute lambda terms (Q288793) (← links)
- Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
- Consistency and axiomatization of a natural extensional combinatory logic (Q1352493) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- Easiness in graph models (Q2368937) (← links)
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI (Q5906925) (← links)