Esfandiar Haghverdi

zbMath Openhaghverdi.esfandiarMaRDI QIDQ534709

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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