Glossar Abkürzungen / Thema
Categorial Abstract Machine Meta Language - Derivat von ML, entwickelt am INRIA.
Permanenter Link CaML - Erstellungsdatum 2021-01-20