Binding Logic: Proofs and Models.

Gilles Dowek, Thrse Hardin, Claude Kirchner

Browse the full LPAR paper archive.