scientific article; zbMATH DE number 5142784

MaRDI QIDQ3432022zbMATH OpenFDO

Authors Cristina Mîndruţă

Publication date 13 April 2007

Full work available at URL https://eudml.org/doc/130257

zbMATH Keywords

architecturecomputing systemsmeta model

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Recommendations

• On a metamodel for the type system of complex computing systems
• scientific article; zbMATH DE number 3928338
• A type system for well-founded recursion
• scientific article; zbMATH DE number 1223720
• A type system for recursive modules
• scientific article; zbMATH DE number 1377611
• scientific article; zbMATH DE number 883893
• Modelling general recursion in type theory
• Model-checking higher-order programs with recursive types
• scientific article; zbMATH DE number 1251179

Cited in

(1)

• On a metamodel for the type system of complex computing systems

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