Completeness Theorems and lambda-Calculus.
Artikel i vetenskaplig tidskrift, 2005
Författare
Thierry Coquand
Göteborgs universitet
TLCA 2005
1-9
Ämneskategorier
Datavetenskap (datalogi)