Pages that link to "Item:Q3992552"

The following pages link to (Q3992552):

Displaying 5 items.

• Type inference for polymorphic references (Q918190) (← links)
• Set theory for verification. I: From foundations to functions (Q1319386) (← links)
• On Bourbaki's axiomatic system for set theory (Q2263057) (← links)
• A final coalgebra theorem (Q5096269) (← links)
• EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE (Q5401599) (← links)