Pages that link to "Item:Q4382463"

The following pages link to Power types in explicit mathematics? (Q4382463):

Displayed 2 items.

• Explicit mathematics: power types and overloading (Q556826) ‎ (← links)
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) ‎ (← links)