Pages that link to "Item:Q3523188"

The following pages link to Simple Types in Type Theory: Deep and Shallow Encodings (Q3523188):

Displaying 3 items.

• Internal models of system F for decompilation (Q428882) (← links)
• N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
• Extensible and Efficient Automation Through Reflective Tactics (Q2802496) (← links)