Pages that link to "Item:Q4133591"

The following pages link to Embedding first order predicate logic in fragments of intuitionistic logic (Q4133591):

Displaying 4 items.

• Existential type systems between Church and Curry style (type-free style) (Q402117) (← links)
• Inhabitation of polymorphic and existential types (Q636375) (← links)
• CPS-translation as adjoint (Q1044830) (← links)
• Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)