Pages that link to "Item:Q3295153"

The following pages link to Well Quasi-orders and the Functional Interpretation (Q3295153):

Displaying 3 items.

• Dependent choice as a termination principle (Q2309508) (← links)
• A universal algorithm for Krull's theorem (Q2672666) (← links)
• Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)