Pages that link to "Item:Q3479540"
From MaRDI portal
The following pages link to Abstract Data Types and Type Theory: Theories as Types (Q3479540):
Displaying 9 items.
- A theory for program and data type specification (Q1199933) (← links)
- (Q3197343) (← links)
- Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information (Q3401360) (← links)
- (Q3687690) (← links)
- (Q3999024) (← links)
- (Q4023846) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)
- (Q4295355) (← links)
- (Q4336197) (← links)