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