Pages that link to "Item:Q556821"
From MaRDI portal
The following pages link to Linear realizability and full completeness for typed lambda-calculi (Q556821):
Displaying 7 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- A type assignment system for game semantics (Q930873) (← links)
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- A structural approach to reversible computation (Q2581367) (← links)
- Coherence Spaces and Uniform Continuity (Q2988356) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- lambda!-calculus, Intersection Types, and Involutions (Q5089015) (← links)
