EntityQ997433· pop 11· linked from 344 articlesdependent typeSign in to savedata type whose definition depends on a valueConnectionsintuitionistic type theoryEntitytype systemEntitysafe typingEntitycalculus of constructionsEntitylogicEntitycomputer scienceEntityInternational Standard Book NumberEntityQ15777Entityprogramming languageEntityQ2005Entitynatural numberEntityset theoryEntityreal numberEntitysetEntityWayback MachineEntitymathematical proofEntitydigital object identifierEntitymathematical logicEntityobject-oriented programmingEntityQ364EntityCategoriesDependently typed programmingFoundations of mathematicsType systemsType theory