Pages that link to "Item:Q5704010"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704010):
Displaying 7 items.
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Game semantics for dependent types (Q1641014) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- A Classical Sequent Calculus with Dependent Types (Q2988668) (← links)
- (Q3792681) (← links)
- Intuitionistic Letcc via Labelled Deduction (Q4982116) (← links)
- Adding Negation to Lambda Mu (Q6135761) (← links)