Nilai (ilmu komputer)
Dalam ilmu komputer, nilai adalah ekspresi yang tidak bisa menjadi dievaluasi lebih jauh (sebuah bentuk normal). Anggota dari tipe adalah nilai-nilai dari tipe itu. Misalnya, istilah "1 + 2" bukanlah nilai karena dapat berkurang untuk istilah "3". Ungkapan ini tidak dapat dikurangi lebih jauh (dan merupakan anggota dari jenis "Nat") dan karena itu adalah nilai.