Pages that link to "Item:Q1330311"
From MaRDI portal
The following pages link to Proof-functional connectives and realizability (Q1330311):
Displayed 5 items.
- The ``relevance'' of intersection and union types (Q1381437) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
- Plugging-in proof development environments using<i>Locks</i>in<tt>LF</tt> (Q4691186) (← links)
- (Q5089030) (← links)
- (Q5090978) (← links)