Pages that link to "Item:Q3613421"

The following pages link to First-Order Logic with Dependent Types (Q3613421):

Displayed 3 items.

• First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) ‎ (← links)
• Translating a Dependently-Typed Logic to First-Order Logic (Q3184740) ‎ (← links)
• Dependently Sorted Logic (Q3499748) ‎ (← links)