On strict and simple type extensions

DOI10.1155/S0161171298000349zbMATH Open0895.54012MaRDI QIDQ1384237

Mohan L. Tikoo

Publication date: 13 April 1998

Published in: International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

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

zbMATH Keywords

simple extensionstrict extension

Mathematics Subject Classification ID

Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35)

Related Items (5)

Restricted weak type versus weak type ⋮ Enumerated types and type extensions for MiniZinc ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Derivation and inference of higher-order strictness types 👍 👎
• Definitional Extension in Type Theory 👍 👎
• Extensional Constructs in Intensional Type Theory 👍 👎
• Extensional equivalence and singleton types 👍 👎

This page was built for publication: On strict and simple type extensions

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