Mengapa titik dua menunjukkan bahwa nilai milik tipe?
Pierce (2002) memperkenalkan relasi pengetikan di halaman 92 dengan menulis: Relasi pengetikan untuk ekspresi aritmatika, yang dituliskan "t: T", didefinisikan oleh seperangkat aturan inferensi yang menetapkan jenis ke istilah dan catatan kaki mengatakan Simbol sering digunakan sebagai ganti:....