Pages that link to "Item:Q5170185"
From MaRDI portal
The following pages link to Type Inference for Correspondence Types (Q5170185):
Displaying 4 items.
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)
- Threshold voting leads to type-revelation (Q1667910) (← links)
- Type inference for a distributed \(\pi\)-calculus (Q1887739) (← links)
- Principal type inference for GADTs (Q2828286) (← links)