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