Pages that link to "Item:Q2981966"

The following pages link to Which simple types have a unique inhabitant? (Q2981966):

Displaying 1 item.

• Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)