Completeness Theorems and lambda-Calculus.
Artikel i vetenskaplig tidskrift, 2005

Författare

Thierry Coquand

Göteborgs universitet

TLCA 2005

1-9

Ämneskategorier

Datavetenskap (datalogi)