Pages that link to "Item:Q3691668"

The following pages link to A natural extension of natural deduction (Q3691668):

Displaying 3 items.

• General-elimination stability (Q526738) (← links)
• The foundation of a generic theorem prover (Q1823013) (← links)
• The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)