Hilbertovský kalkulus – Další jazyky