The following pages link to (Q5541309):
Displayed 4 items.
- Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL (Q918956) (← links)
- THE Σλ-CALCULUS AND DERIVED PROGRAM FORMS (Q3980023) (← links)
- SEMANTICS OF LISP AND THE ONTOLOGY OF FUNCTIONS (Q4102715) (← links)
- Abstraction in Fitch's Basic Logic (Q5497106) (← links)