The following pages link to Some properties of the -calculus (Q4583170):
Displaying 5 items.
- On the \(\mu \)-calculus over transitive and finite transitive frames (Q606994) (← links)
- An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus. (Q1853149) (← links)
- The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
- Some results about \(\lambda\)-property (Q2705266) (← links)
- (Q4722035) (← links)