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
Publicerad i
Lecture Notes in Computer Science. 6th International Conference on Typed Lambda Calculi and Applications (TLCA 2003), Valencia, 10-12 June 2003
Vol. 2701s. 105-119
Kategorisering
Ämneskategorier
Data- och informationsvetenskap
Identifikatorer
DOI
10.1007/3-540-44904-3_8