Computations on types

MaRDI QIDQ1065543zbMATH OpenFDO

Authors Alexandre V. Zamulin, I. N. Skopin

Publication date 1985

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

computations on data typestype attributetype realizationtype specification

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Computational types from a logical perspective
• Computational higher-dimensional type theory
• Computational semantics in type theory
• Computational Complexity Via Finite Types
• scientific article; zbMATH DE number 1215502
• scientific article; zbMATH DE number 2110623
• scientific article; zbMATH DE number 591911
• Type inference in mathematics
• Publication:4204148

Cited in

(9)

• On the identity type as the type of computational paths
• scientific article; zbMATH DE number 4028891 (Why is no real title available?)
• Computational Complexity Via Finite Types
• A proposal for comparison of types in Pascal and associated semantic models
• Data types are values
• scientific article; zbMATH DE number 1543322 (Why is no real title available?)
• scientific article; zbMATH DE number 2110617 (Why is no real title available?)
• scientific article; zbMATH DE number 1497732 (Why is no real title available?)
• Perspectives of System Informatics

This page was built for publication: Computations on types

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