Publication | Closed Access
A logical account of pspace
34
Citations
14
References
2008
Year
Unknown Venue
Logical AccountEngineeringDomain TheoryAutomated ReasoningType TheoryFormal MethodsSet-theoretic TopologyType Assignment StabComputer ScienceType SystemHigher-order LogicTopological PropertyLambda CalculusLinear LogicAtype Assignment
We propose a characterization of PSPACE by means of atype assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension of STA, a type assignment for lambda-calculus inspired by Lafont's Soft Linear Logic.
| Year | Citations | |
|---|---|---|
Page 1
Page 1