Pages that link to "Item:Q5055835"
From MaRDI portal
The following pages link to Infinitary lambda calculi and böhm models (Q5055835):
Displaying 12 items.
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- Applications of infinitary lambda calculus (Q1021568) (← links)
- Infinitary lambda calculus (Q1392145) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- A class of bounded functions, a database language and an extended lambda calculus (Q2402281) (← links)
- A Light Modality for Recursion (Q2988388) (← links)
- From Böhm's Theorem to Observational Equivalences (Q4916172) (← links)
- (Q5216302) (← links)
- The infinitary lambda calculus of the infinite eta Böhm trees (Q5269002) (← links)
- Rewriting Techniques and Applications (Q5901570) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)