Home
About Coq
Get Coq
Documentation
Community

The Coq Proof Assistant

Keyword: residual

Lambda: Residual Theory in Lambda-Calculus
Gérard Huet

webmaster
xhtml valid
CSS valid