NICE TO SEE YOU BACK - DTU Informatics

2. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.4. Abstract Types, Sorts, and Concrete Types75• By a concrete type we shall understand a type, T,– which has been given both a name– and a defining type expression of, for example the form∗ T = A-set,∗ T = A-infset,∗ T = A×B×· · · ×C,∗ T = A ∗ ,∗ T = A ω ,∗ T = A → m B,∗ T = A→B,∗ T = A ∼ →B, or∗ T = A|B|· · · |C.– where A, B, ..., C are type names or type expressions.A Precursor for Requirements Engineering 75 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33