The following pages link to The λ-calculus in the π-calculus (Q3094164):
Displaying 17 items.
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations (Q1302298) (← links)
- The polarized \(\lambda\)-calculus (Q1744450) (← links)
- An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus. (Q1853149) (← links)
- Genericity and the \(\pi\)-calculus (Q2576663) (← links)
- On the representation of McCarthy's amb in the \(\pi\)-calculus (Q2847406) (← links)
- Term collections in {\(\lambda\)} and {\(\rho\)}-calculi (Q2864209) (← links)
- Jumbo λ-Calculus (Q3591403) (← links)
- The basis decision problem in λ‐calculus (Q4304128) (← links)
- (Q4362963) (← links)
- (Q4417854) (← links)
- (Q4664925) (← links)
- (Q4952053) (← links)
- (Q5089301) (← links)
- HYPERCOMPUTATION: FANTASY OR REALITY? A POSITION PAPER (Q5408360) (← links)
- Non-deterministic structures of computation (Q5740658) (← links)
