Sciweavers

82
Voted
CADE
2005
Springer
15 years 3 days ago
The CoRe Calculus
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
Serge Autexier