Publication | Closed Access
Confluence results for the pure strong categorical logic CCL. λ-calculi as subsystems of CCL
51
Citations
10
References
1989
Year
Computational LogicEngineeringAutomated ReasoningFormal MethodsComputer ScienceHigher-order LogicSemanticsCategorical LogicLambda CalculusConfluence Results
| Year | Citations | |
|---|---|---|
Page 1
Page 1