A Logical Framework with Dependently Typed Records
Paper in proceeding, 2003
Author
Thierry Coquand
University of Gothenburg
R. Pollack
Makoto Takeyama
Chalmers, Department of Computing Science
Lecture Notes in Computer Science. 6th International Conference on Typed Lambda Calculi and Applications (TLCA 2003), Valencia, 10-12 June 2003
Vol. 2701 105-119
Subject Categories
Computer and Information Science
DOI
10.1007/3-540-44904-3_8