The following pages link to Esfandiar Haghverdi (Q534709):
Displaying 19 items.
- Arithmetic Fuchsian groups and space time block codes (Q430531) (← links)
- Towards a geometry of recursion (Q534710) (← links)
- A characterization theorem for geometric logic (Q638496) (← links)
- A categorical model for the geometry of interaction (Q817846) (← links)
- First-order logical duality (Q1935870) (← links)
- Bisimulation relations for dynamical, control, and hybrid systems (Q2566293) (← links)
- (Q2778823) (← links)
- Bisimulation Relations for Dynamical and Control Systems (Q2842819) (← links)
- (Q2849878) (← links)
- Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial (Q3000923) (← links)
- Towards a typed Geometry of Interaction (Q3564345) (← links)
- Typed GoI for Exponentials (Q3591432) (← links)
- Unique decomposition categories, Geometry of Interaction and combinatory logic (Q4487270) (← links)
- Geometry of Interaction and linear combinatory algebras (Q4792973) (← links)
- Computer Science Logic (Q5394579) (← links)
- Proofs as Polynomials (Q5415631) (← links)
- Automata, Languages and Programming (Q5466507) (← links)
- Mathematical foundations of information sciences (Q6543009) (← links)
- A categorical approach to additive combinatorics (Q6760929) (← links)
