A Proof of Strong Normalisation Using Domain Theory
Paper in proceedings, 2006

Author

Thierry Coquand

University of Gothenburg

Arnaud Spiwack

proceeding of Logic in Computer Science, 2006

Subject Categories

Other Mathematics

More information

Created

10/10/2017