Pages that link to "Item:Q5487826"
From MaRDI portal
The following pages link to From Algol to polymorphic linear lambda-calculus (Q5487826):
Displaying 11 items.
- Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
- The essence of parallel Algol. (Q1400721) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- The regular-language semantics of second-order idealized ALGOL (Q1884909) (← links)
- Monoidal Indeterminates and Categories of Possible Worlds (Q2805149) (← links)
- A Nominal Relational Model for Local Store (Q3178267) (← links)
- Enriching an Effect Calculus with Linear Types (Q3644752) (← links)
- Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion (Q4921510) (← links)