Esfandiar Haghverdi

Available identifiers

zbMath Open haghverdi.esfandiarMaRDI QIDQ534709

List of research outcomes

Publication	Date of Publication	Type
Mathematical foundations of information sciences	2024-05-23	Paper
Proofs as Polynomials	2014-05-13	Paper
From geometry of interaction to denotational semantics	2013-09-20	Paper
Bisimulation relations for dynamical and control systems	2013-08-16	Paper
Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial	2011-05-31	Paper
Towards a geometry of recursion	2011-05-10	Paper
Towards a typed Geometry of Interaction	2010-06-02	Paper
Typed GoI for Exponentials	2007-09-11	Paper
Computer Science Logic	2006-11-01	Paper
A categorical model for the geometry of interaction	2006-03-20	Paper
Bisimulation relations for dynamical, control, and hybrid systems	2005-09-22	Paper
Automata, Languages and Programming	2005-08-24	Paper
Geometry of Interaction and linear combinatory algebras	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q2778823	2002-03-21	Paper
Unique decomposition categories, Geometry of Interaction and combinatory logic	2000-06-21	Paper

Research outcomes over time

This page was built for person: Esfandiar Haghverdi