Pages that link to "Item:Q1763159"

The following pages link to De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case (Q1763159):

Displaying 1 item.

• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case (Q1764799) (← links)