A Logical Framework with Dependently Typed Records
Paper i proceeding, 2003
Författare
Thierry Coquand
Göteborgs universitet
R. Pollack
Makoto Takeyama
Chalmers, Institutionen för datavetenskap
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
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/3-540-44904-3_8