Normalisation by Completeness with Heyting Algebras.

Gatan Gilbert, Olivier Hermant

Browse the full LPAR paper archive.