A Proof of Strong Normalisation Using Domain Theory
Paper i proceeding, 2006
Författare
Thierry Coquand
Göteborgs universitet
Arnaud Spiwack
proceeding of Logic in Computer Science, 2006
Ämneskategorier
Annan matematik