dependent type
Sign in to savedata type whose definition depends on a value
Connections
intuitionistic type theory
Entity
type system
Entity
safe typing
Entity
calculus of constructions
Entity
logic
Entity
computer science
Entity
International Standard Book Number
Entity
Q15777
Entity
programming language
Entity
Q2005
Entity
natural number
Entity
set theory
Entity
real number
Entity
set
Entity
Wayback Machine
Entity
mathematical proof
Entity
digital object identifier
Entity
mathematical logic
Entity
object-oriented programming
Entity
Q364
Entity