A Proof of Strong Normalisation Using Domain Theory
Paper in proceeding, 2006
Author
Thierry Coquand
University of Gothenburg
Arnaud Spiwack
proceeding of Logic in Computer Science, 2006
Subject Categories
Other Mathematics