Pages that link to "Item:Q1896759"
From MaRDI portal
The following pages link to The abstract variable-binding calculus (Q1896759):
Displaying 8 items.
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- Partial algebras, meaning categories and algebraization (Q2368946) (← links)
- A Mathematical Life (Q4586411) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)
- Using Hoare Logic in a Process Algebra Setting (Q5164860) (← links)
