#### Filter Results:

- Full text PDF available (29)

#### Publication Year

1984

2017

- This year (1)
- Last 5 years (6)
- Last 10 years (19)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
- Inf. Comput.
- 1991

System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronounced ef-sub) that combines parametric polymorphism with subtyping. The main focus of the paper is the equational theory of F<: , which is related to PER models and the notion of… (More)

- Ugo Dal Lago, Simone Martini
- Theor. Comput. Sci.
- 2008

We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value lambda-calculus can simulate each other within a polynomial time overhead. The model only relies on combinatorial properties of usual beta-reduction, without any reference to a… (More)

- Franziska Meier-Stiegen, Ralf Schwanbeck, +5 authors Ursula Just
- PloS one
- 2010

BACKGROUND
Notch receptor signaling controls developmental cell fates in a cell-context dependent manner. Although Notch signaling directly regulates transcription via the RBP-J/CSL DNA binding protein, little is known about the target genes that are directly activated by Notch in the respective tissues.
METHODOLOGY/PRINCIPAL FINDINGS
To analyze how Notch… (More)

- Andrea Asperti, Simone Martini
- ICLP
- 1989

- Paolo Coppola, Simone Martini
- TLCA
- 2001

- Paolo Mancarella, Simone Martini, Dino Pedreschi
- J. Log. Program.
- 1988

- Ralf Schwanbeck, Simone Martini, Kristina Bernoth, Ursula Just
- European journal of cell biology
- 2011

Notch receptor signaling controls cell-fate specification, self-renewal, differentiation, proliferation and apoptosis throughout development and regeneration in all animal species studied to date. Its dysfunction causes several developmental defects and diseases in the adult. A key feature of Notch signaling is its remarkable cell-context dependency. In… (More)

The usual (e.g. Prawitz's) treatment of natural deduction for modal logics involves a complicated rule for the introduction of the necessity, since the naive one does not allow nor-malization. We propose natural deduction systems for the positive fragments of the modal logics K, K4, KT, and S4, extending previous work by Masini on a two-dimensional… (More)

- Ugo Dal Lago, Simone Martini
- Logical Methods in Computer Science
- 2009

We prove that orthogonal constructor term rewrite systems and lambda-calculus with weak (i.e., no reduction is allowed under the scope of a lambda-abstraction) call-by-value reduction can simulate each other with a linear overhead. In particular, weak call-by-value betareduction can be simulated by an orthogonal constructor term rewrite system in the same… (More)

We present natural deduction systems for fragments of intuitionistic linear logic obtained by dropping weakening and contractions also on !-preexed formulas. The systems are based on a two-dimensional generalization of the notion of sequent, which accounts for a clean formulation of the introduction/elimination rules of the modality. Moreover, the diierent… (More)