Pages that link to "Item:Q1021568"
From MaRDI portal
The following pages link to Applications of infinitary lambda calculus (Q1021568):
Displaying 10 items.
- Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← links)
- Infinitary rewriting: closure operators, equivalences and models (Q2376981) (← links)
- A class of bounded functions, a database language and an extended lambda calculus (Q2402281) (← links)
- Simply typed fixpoint calculus and collapsible pushdown automata (Q2973243) (← links)
- (Q4600775) (← links)
- <i>Theoretical Pearl</i> Yet yet a counterexample for λ+SP (Q4764268) (← links)
- (Q4834480) (← links)
- (Q4890393) (← links)
- (Q5109521) (← links)
- Clocked lambda calculus (Q5269007) (← links)