Type structures

DOI10.1007/BF02560030MaRDI QIDQ3760531zbMATH OpenOpenAlexFDO

Authors Qieyuan Huang

Publication date 1985

Published in Acta Mathematica Sinica, English Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02560030

zbMATH Keywords

infinitary logictopological type structures

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Recommendations

• scientific article; zbMATH DE number 3926901
• scientific article; zbMATH DE number 3898200
• Combinatorial structure of type dependency
• scientific article; zbMATH DE number 17707
• scientific article; zbMATH DE number 1929308
• Types and coalgebraic structure
• Algebraic structures as typed objects
• On integral structure types
• scientific article; zbMATH DE number 2048505
• Specifying type systems

Cited in

(5)

• The method of types [information theory]
• scientific article; zbMATH DE number 1907123 (Why is no real title available?)
• Accessible sets and (L_ω1ω)_t-equivalence for T₃ spaces
• Types as parameters
• Type Fusion

This page was built for publication: Type structures

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