Proof nets and the call-by-value λ-calculus
Keywords: شبکه های اثبات شده; Curry–Howard isomorphism; Call-by-value λ-calculus; Linear logic; Graphical syntaxes; Proof nets; Explicit substitutions; Correctness criteria