Pages that link to "Item:Q1799037"
From MaRDI portal
The following pages link to Atomic polymorphism and the existence property (Q1799037):
Displaying 6 items.
- The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof (Q897484) (← links)
- A refined interpretation of intuitionistic logic by means of atomic polymorphism (Q2186692) (← links)
- Rasiowa-Harrop disjunction property (Q2363508) (← links)
- A note on the existence property for intuitionistic logic with function symbols (Q3824410) (← links)
- Atomic polymorphism (Q4916559) (← links)
- Type inhabitation of atomic polymorphism is undecidable (Q5858127) (← links)