| Subject | English | Spanish |
| transp., mater.sc. | fail-safe type | de tipo a prueba de fallos |
| comp., MS | type-safe | con seguridad de tipos (Pertaining to programming languages that can exchange information through commonly agreed upon definitions and usage patterns for types) |