- Dependent intersection: a new way of defining records in type theory
2003/12/22 by Alexei Kopylov · 1 citation
Computer Science · Engineering · #Logic, programming, and type systems #Software Engineering Research #Formal Methods in Verification #Intersection (aeronautics) #Type (biology) #Computer science #Type theory #Hickey #Data type #Abstract data type #Set (abstract data type) #Theoretical computer science #Programming language #Engineering