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

by Alexei Kopylov
Venue:In Proceedings of 18th IEEE Symposium on Logic in Computer Science