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