Pages that link to "Item:Q5111429"

The following pages link to Pumping Lemma for Higher-order Languages (Q5111429):

Displaying 2 items.

• Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered (Q5090949) (← links)
• The Complexity of the Diagonal Problem for Recursion Schemes (Q5136337) (← links)