dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Sandra Alves (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Ian Mackie: A new graphical calculus of proofs TERMGRAPH 2011: 69-84
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursion CoRR abs/1001.3368: (2010)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linearity and iterator types for Gödel's System. Higher-Order and Symbolic Computation 23(1): 1-27 (2010)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Gödel's system tau revisited. Theor. Comput. Sci. 411(11-13): 1484-1500 (2010)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot: Minimality in a Linear Calculus with Iteration. Electr. Notes Theor. Comput. Sci. 204: 163-179 (2008)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Iterator Types. FoSSaCS 2007: 17-31
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Closed Reduction Strategies. Electr. Notes Theor. Comput. Sci. 174(10): 57-74 (2007)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Linear Functions. CSL 2006: 119-134

Selection of 10 from 13 records - Sandra Alves has 4 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page