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

by A Kopylov
Venue:In Procs. of the 18th IEEE Symposium on Logic in Computer Science