Pages that link to "Item:Q1124321"

The following pages link to On a conjecture of Bergstra and Tucker (Q1124321):

Displaying 1 item.

• Which data types have \(\omega\)-complete initial algebra specifications? (Q1318728) (← links)