Pages that link to "Item:Q428894"

The following pages link to Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894):

Displaying 4 items.

• Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus (Q2129992) (← links)
• The approximation theorem for the Λμ-calculus (Q5268997) (← links)
• Normalization in the simply typed -calculus (Q5889885) (← links)
• Resource approximation for the \(\lambda \mu \)-calculus (Q6649457) (← links)