research
.chalmers.se
In English
Logga in
A Proof of Strong Normalisation Using Domain Theory
Paper i proceeding, 2006
Författare
Thierry Coquand
Göteborgs universitet
Andra publikationer
Forskning
Arnaud Spiwack
proceeding of Logic in Computer Science, 2006
Ämneskategorier
Annan matematik