Pages that link to "Item:Q5890062"
From MaRDI portal
The following pages link to Holomorphic models of exponential types in linear logic (Q5890062):
Displaying 6 items.
- Computing the Lagrangians of the standard model (Q893602) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
- On Banach spaces of sequences and free linear logic exponential modality (Q4611198) (← links)
- (Q5019675) (← links)
- Linear logic in normed cones: probabilistic coherence spaces and beyond (Q5076387) (← links)
