Cited By
View all- Dybjer P(2022)Inductive familiesFormal Aspects of Computing10.1007/BF012113086:4(440-465)Online publication date: 2-Jan-2022
- Pitts A(2020)Typal Heterogeneous Equality TypesACM Transactions on Computational Logic10.1145/337944721:3(1-10)Online publication date: 19-Apr-2020
- Hatcliff JLeavens GLeino KMüller PParkinson M(2012)Behavioral interface specification languagesACM Computing Surveys10.1145/2187671.218767844:3(1-58)Online publication date: 14-Jun-2012
- Show More Cited By