Open AccessCategorial Heterogeneous Algebraic Models of Programming Languages
Author(s) -
Nisse Husberg
Publication year - 1983
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v12i163.7437
Subject(s) - syntax , categorial grammar , semantics (computer science) , computer science , programming language , rule based machine translation , algebraic number , presentation (obstetrics) , algebra over a field , mathematics , linguistics , natural language processing , artificial intelligence , pure mathematics , generative grammar , mildly context sensitive grammar formalism , phrase structure rules , medicine , mathematical analysis , philosophy , radiology
Heterogeneous algebraic theories and algebras are treated in detail with examples showing how to model programming languages. All categorial concepts needed --- and only those --- are defined and explained assuming no earlier background in category theory. The presentation covers language grammars and syntax fairly well, but semantics is treated only in general terms.