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

More information

Latest update

6/7/2018 6