Towards a typed Geometry of Interaction von HAGHVERDI, ESFANDIAR, SCOTT, PHILIP

Volltext

Bernstein trace von Haghverdi, Esfandiar

Volltext

Geometry of Interaction and linear combinatory algebras von ABRAMSKY, SAMSON, HAGHVERDI, ESFANDIAR, SCOTT, PHILIP

Volltext

Towards a geometry of recursion von Haghverdi, Esfandiar

Volltext

Typed GoI for Exponentials von HAGHVERDI, Esfandiar

Volltext

Bisimulation relations for dynamical, control, and hybrid systems von Haghverdi, Esfandiar, Tabuada, Paulo, Pappas, George J.

Volltext

A categorical approach to additive combinatorics von Blanco, Saúl A, Haghverdi, Esfandiar

Volltext bestellen

A categorical model for the geometry of interaction von Haghverdi, Esfandiar, Scott, Philip

Volltext

Unique decomposition categories, Geometry of Interaction and combinatory logic von HAGHVERDI, ESFANDIAR

Volltext

Partially Additive Categories and Fully Complete Models of Linear Logic von Haghverdi, Esfandiar

Volltext

Towards a Typed Geometry of Interaction von Haghverdi, Esfandiar, Scott, Philip J.

Volltext

A Categorical Model for the Geometry of Interaction von Haghverdi, Esfandiar, Scott, Philip

Volltext

Proofs as Polynomials von Haghverdi, Esfandiar, Scott, Philip J.

Volltext

From Geometry of Interaction to Denotational Semantics von Haghverdi, Esfandiar, Scott, Philip

Volltext

Typed GoI for Exponentials von Haghverdi, Esfandiar

Volltext

Bisimulation Relations for Dynamical and Control Systems von Haghverdi, Esfandiar, Tabuada, Paulo, Pappas, George

Volltext