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

Mer information

Skapat

2017-10-07