A Logical Framework with Dependently Typed Records
Paper in proceedings, 2003

Author

Thierry Coquand

University of Gothenburg

R. Pollack

Makoto Takeyama

Chalmers, Department of Computing Science

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

Subject Categories

Computer and Information Science

DOI

10.1007/3-540-44904-3_8

More information

Created

10/7/2017