A Logical Framework with Dependently Typed Records.
Artikel i vetenskaplig tidskrift, 2005
Författare
Thierry Coquand
Göteborgs universitet
Makoto Takeyama
Randy Pollack
Fundam. Inform.
Vol. 65 113-134
Ämneskategorier
Datavetenskap (datalogi)