A Logical Framework with Dependently Typed Records.
Journal article, 2005
Author
Thierry Coquand
University of Gothenburg
Makoto Takeyama
Randy Pollack
Fundam. Inform.
Vol. 65 113-134
Subject Categories
Computer Science