Pages that link to "Item:Q1208421"

The following pages link to The undecidability of pattern matching in calculi where primitive recursive functions are representable (Q1208421):

Displaying 1 item.

• Third-order matching in the polymorphic lambda calculus (Q4645813) (← links)