Simone Martini

Available identifiers

zbMath Open martini.simoneWikidataQ102110024 ScholiaQ102110024MaRDI QIDQ596036

List of research outcomes

Publication	Date of Publication	Type
Cut Elimination for Extended Sequent Calculi	2024-02-29	Paper
Coherence for sharing proof nets	2022-12-09	Paper
An extension of system F with subtyping	2022-08-16	Paper
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics	2022-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4963998	2021-02-24	Paper
Interacting with Networks: How Does Structure Relate to Controllability in Single-Leader, Consensus Networks?	2018-09-14	Paper
Optimizing optimal reduction	2017-07-12	Paper
Convergence Analysis of Distributed Set-Valued Information Systems	2017-05-03	Paper
Light logics and higher-order processes	2017-04-04	Paper
Types in Programming Languages, Between Modelling, Abstraction, and Correctness	2016-08-17	Paper
(Optimal) duplication is not elementary recursive	2015-03-17	Paper
On Constructor Rewrite Systems and the Lambda Calculus	2012-08-15	Paper
Derivational Complexity Is an Invariant Cost Model	2010-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q3566722	2010-06-09	Paper
Programming languages: Principles and paradigms	2010-01-14	Paper
Proofs as Efficient Programs	2010-01-11	Paper
On Constructor Rewrite Systems and the Lambda-Calculus	2009-07-14	Paper
Steering a Leader-Follower Team Via Linear Consensus	2008-09-02	Paper
The weak lambda calculus as a reasonable machine	2008-06-24	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
Types for Proofs and Programs	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q3024907	2005-07-04	Paper
(Optimal) duplication is not elementary recursive	2004-10-04	Paper
Phase semantics and decidability of elementary affine logic	2004-08-10	Paper
Coherence for sharing proof-nets	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q2778817	2002-03-21	Paper
Proof nets, garbage, and computations	2000-12-12	Paper
An analysis of (linear) exponentials based on extended sequents	2000-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4942005	2000-03-19	Paper
Experiments in linear natural deduction	1998-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q5688812	1997-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4842974	1996-04-22	Paper
A modal view of linear logic	1995-06-13	Paper
Proof-functional connectives and realizability	1994-12-01	Paper
An extension of system \(F\) with subtyping	1994-06-09	Paper
Categorical models for non-extensional λ-calculi and combinatory logic	1994-02-28	Paper
Categorical models of polymorphism	1992-09-27	Paper
Complete logic programs with domain-closure axiom	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787977	1987-01-01	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: Simone Martini