Claudia Faggian

Available identifiers

zbMath Open faggian.claudiaMaRDI QIDQ418200

List of research outcomes

Publication	Date of Publication	Type
On reduction and normalization in the computational core	2023-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q5094133	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5089021	2022-07-18	Paper
Factorization in call-by-name and call-by-value calculi via linear logic	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4986180	2021-04-27	Paper
The geometry of synchronization	2018-04-23	Paper
Parallelism and Synchronization in an Infinitary Context	2018-04-23	Paper
The geometry of parallelism: classical, probabilistic, and quantum effects	2017-10-20	Paper
Measurements in Proof Nets as Higher-Order Quantum Circuits	2014-04-16	Paper
A Graph Abstract Machine Describing Event Structure Composition	2013-12-20	Paper
An approach to innocent strategies as graphs	2012-05-24	Paper
Ludics with repetitions (Exponentials, Interactive types and Completeness)	2011-05-26	Paper
Partial Orders, Event Structures and Linear Strategies	2009-07-07	Paper
Jump from Parallel to Sequential Proofs: Multiplicatives	2009-03-12	Paper
Ludics is a Model for the Finitary Linear Pi-Calculus	2009-03-10	Paper
Proof nets sequentialisation in multiplicative linear logic	2008-11-12	Paper
Computer Science Logic	2006-11-01	Paper
Interactive observability in Ludics: the geometry of tests	2006-03-20	Paper
Automata, Languages and Programming	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4650582	2005-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4411839	2003-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4411840	2003-07-10	Paper
Basic logic: reflection, symmetry, visibility	2001-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4218933	1999-04-19	Paper
From basic logic to quantum logics with cut-elimination	1999-01-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Claudia Faggian