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 (SSIF 2011)
Data- och informationsvetenskap
DOI
10.1007/3-540-44904-3_8