Pages that link to "Item:Q1853586"

The following pages link to Polarized proof-nets and \(\lambda \mu\)-calculus (Q1853586):

Displaying 14 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)
• Proof nets for classical logic (Q1982017) (← links)
• The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
• Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
• Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
• Multi-focused cut elimination (Q4637625) (← links)
• (Q5018484) (← links)
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
• Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)