forcing in type theory
Artikel i vetenskaplig tidskrift, 2009

Författare

Thierry Coquand

Göteborgs universitet

Proceeding of CSL 09

2-

Ämneskategorier

Data- och informationsvetenskap