Pages that link to "Item:Q1181718"
From MaRDI portal
The following pages link to Implementing the `Fool's model' of combinatory logic (Q1181718):
Displaying 5 items.
- Ternary relations and relevant semantics (Q598309) (← links)
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- Inhabitants of intuitionistic implicational theorems (Q1799268) (← links)
- 2002 Annual Conference of the Australasian Association for Logic (Q4650308) (← links)
- A (machine-oriented) logic based on pattern matching (Q6149946) (← links)