Pages that link to "Item:Q1041755"

The following pages link to CPS transformation of beta-redexes (Q1041755):

Displaying 2 items.

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