scientific article
From MaRDI portal
Publication:3086771
zbMATH Open1226.03018MaRDI QIDQ3086771
Publication date: 30 March 2011
Title of this publication is not available (Why is that?)
Related Items (8)
The Role of Completeness in the Type Problem for Infinitely Sheeted Planes ⋮ Title not available (Why is that?) ⋮ Model completions and omitting types ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ The role of compactification theory in the type problem ⋮ Completeness in hybrid type theory ⋮ On denotational completeness
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?) 👍 👎
- Completeness in hybrid type theory 👍 👎
- Inductive types and exact completion 👍 👎
- Completeness theorems for first-order logic analysed in constructive type theory 👍 👎
- Completeness in equational hybrid propositional type theory 👍 👎
- Completeness and Cut-elimination in the Intuitionistic Theory of Types 👍 👎
- Completeness in Proof-Theoretic Semantics 👍 👎
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 Q3086771)
