46 search results - page 10 / 10 » Ambient Calculus and its Logic in the Calculus of Inductive ... |
CADE
2001
Springer
14 years 5 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...