scientific article

zbMATH Open0756.18005MaRDI QIDQ4005184

Oskar Permvall

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

zbMATH Keywords

algorithmsneural networksinstitutionstoposcomputer sciencecomputationcategorical logicknowledge basesdata typescommented bibliography on sketches

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Bibliographies for mathematics in general (00A15) Theory of computing (68Qxx) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to category theory (18-00)

Related Items (2)

Sketches and computation – I: basic definitions and static evaluation ⋮ Sketches and computation – II: dynamic evaluation and applications

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4005184)