Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Sandra Alves

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1211-3480
- ask others
Sandra Alves, Ian Mackie (Eds.): Proceedings 2nd International Workshop on Linearity. EPTCS 101, 2012
2011
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ppdp/AlvesFFM11
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1102-2655
- ask others
Sandra Alves, Maribel Fernández, Ian Mackie: A new graphical calculus of proofs. TERMGRAPH 2011: 69-84
2010
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/AlvesFFM10
- ask others
Sandra 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)
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/AlvesFFM10
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Gödel's system tau revisited. Theor. Comput. Sci. 411(11-13): 1484-1500 (2010)
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1001-3368
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursion. CoRR abs/1001.3368 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AlvesFMS08
- ask others
Sandra 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)
2007
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AlvesFFM07
- ask others
Sandra 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)
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/AlvesFFM07
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/AlvesFFM07
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Iterator Types. FoSSaCS 2007: 17-31
2006
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/AlvesFFM06
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Linear Functions. CSL 2006: 119-134
2005
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/AlvesF05
- ask others
Sandra Alves, Mário Florido: Weak linearization of the lambda calculus. Theor. Comput. Sci. 342(1): 79-103 (2005)
2003
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lopstr/AlvesF03
- ask others
Sandra Alves, Mário Florido: Linearization by Program Transformation. LOPSTR 2003: 160-175
2002
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AlvesF02
- ask others
Sandra Alves, Mário Florido: Type Inference using Constraint Handling Rules. Electr. Notes Theor. Comput. Sci. 64: 56-72 (2002)

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?