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)