Publication | Open Access
Proof nets and the call-by-value λ-calculus
31
Citations
20
References
2015
Year
EngineeringAutomated ReasoningProof ComplexityProof NetsFormal MethodsComputer ScienceLambda CalculusProof SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1