Pages that link to "Item:Q2811355"
From MaRDI portal
The following pages link to Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms (Q2811355):
Displaying 11 items.
- Strong normalization of \(\mathsf{ML}^{\mathsf F}\) via a calculus of coercions (Q764331) (← links)
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← links)
- Taylor expansion, finiteness and strategies (Q2133165) (← links)
- Strong normalization of barrecursive terms without using infinite terms (Q3739119) (← links)
- (Q4611381) (← links)
- Asymptotically almost all \lambda-terms are strongly normalizing (Q4913764) (← links)
- (Q5028444) (← links)
- (Q5028454) (← links)
- (Q5079739) (← links)
- (Q5094132) (← links)
- (Q5227520) (← links)