Dependent intersection: A new way of defining records in type theory (2003)

by Alexei Kopylov
Venue:In Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science (LICS ’03