Claudia Faggian

From MaRDI portal
Revision as of 02:32, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:418200

Available identifiers

zbMath Open faggian.claudiaMaRDI QIDQ418200

List of research outcomes





PublicationDate of PublicationType
Lambda calculus and probabilistic computation2024-12-19Paper
The sum-product algorithm for quantitative multiplicative linear logic2024-10-21Paper
Asymptotic rewriting (invited talk)2024-09-25Paper
Strategies for asymptotic normalization2024-05-27Paper
Factorization and normalization, essentially2024-04-19Paper
On reduction and normalization in the computational core2023-02-28Paper
https://portal.mardi4nfdi.de/entity/Q50941332022-08-02Paper
https://portal.mardi4nfdi.de/entity/Q50890212022-07-18Paper
Factorization in call-by-name and call-by-value calculi via linear logic2021-10-18Paper
https://portal.mardi4nfdi.de/entity/Q49861802021-04-27Paper
The geometry of synchronization2018-04-23Paper
Parallelism and Synchronization in an Infinitary Context2018-04-23Paper
The geometry of parallelism: classical, probabilistic, and quantum effects2017-10-20Paper
Measurements in Proof Nets as Higher-Order Quantum Circuits2014-04-16Paper
A Graph Abstract Machine Describing Event Structure Composition2013-12-20Paper
An approach to innocent strategies as graphs2012-05-24Paper
Ludics with repetitions (Exponentials, Interactive types and Completeness)2011-05-26Paper
Partial Orders, Event Structures and Linear Strategies2009-07-07Paper
Jump from Parallel to Sequential Proofs: Multiplicatives2009-03-12Paper
Ludics is a Model for the Finitary Linear Pi-Calculus2009-03-10Paper
Proof nets sequentialisation in multiplicative linear logic2008-11-12Paper
Computer Science Logic2006-11-01Paper
Interactive observability in Ludics: the geometry of tests2006-03-20Paper
Automata, Languages and Programming2005-08-24Paper
https://portal.mardi4nfdi.de/entity/Q46505822005-02-18Paper
https://portal.mardi4nfdi.de/entity/Q44118392003-07-10Paper
https://portal.mardi4nfdi.de/entity/Q44118402003-07-10Paper
Basic logic: reflection, symmetry, visibility2001-10-03Paper
https://portal.mardi4nfdi.de/entity/Q42189331999-04-19Paper
From basic logic to quantum logics with cut-elimination1999-01-19Paper

Research outcomes over time

This page was built for person: Claudia Faggian

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:418200&oldid=7467123"
Powered by MediaWiki