scientific article; zbMATH DE number 3938546

MaRDI QIDQ3709871zbMATH OpenFDO

Authors Bengt Nordström

Publication date 1986

zbMATH Keywords

abstract syntax treesdata typesMartin-Löf's type theoryMultilevel arraysmultilevel functionssemantics of type theoryVDLVDM

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05)

Recommendations

• Multi-dimensional arrays with levels
• On abstract data types presented by multiequations
• scientific article; zbMATH DE number 2077110
• Multi-type recursive functions
• scientific article; zbMATH DE number 65535

Cited in

(3)

• scientific article; zbMATH DE number 1420853 (Why is no real title available?)
• Multi-dimensional arrays with levels
• Do-it-yourself type theory

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 Q3709871)