Pages that link to "Item:Q2829259"

The following pages link to From Types to Sets by Local Type Definitions in Higher-Order Logic (Q2829259):

Displaying 3 items.

• From types to sets by local type definition in higher-order logic (Q1722645) (← links)
• Generating custom set theories with non-set structured objects (Q2128829) (← links)
• Comprehending Isabelle/HOL’s Consistency (Q2988665) (← links)