Pages that link to "Item:Q1874272"
From MaRDI portal
The following pages link to Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272):
Displaying 4 items.
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- Infinitary combinatory reduction systems (Q550248) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
