Pages that link to "Item:Q1853586"
From MaRDI portal
The following pages link to Polarized proof-nets and \(\lambda \mu\)-calculus (Q1853586):
Displayed 8 items.
- Intuitionistic differential nets and lambda-calculus (Q534707) (← links)
- Polarized and focalized linear and classical proofs (Q556824) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- Polarized games (Q1886321) (← links)
- The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)