| 2007 |
|---|
| 12 | EE | Sabine Broda,
Luís Damas:
On Principal Types of BCK- lambda -Terms.
WoLLIC 2007: 120-130 |
| 2005 |
|---|
| 11 | EE | Sabine Broda,
Luís Damas:
On Long Normal Inhabitants of a Type.
J. Log. Comput. 15(3): 353-390 (2005) |
| 2004 |
|---|
| 10 | EE | Sabine Broda,
Luís Damas,
Marcelo Finger,
Paulo Silva e Silva:
The decidability of a fragment of BB'IW-logic.
Theor. Comput. Sci. 318(3): 373-408 (2004) |
| 2002 |
|---|
| 9 | EE | Sabine Broda,
Luís Damas:
Studying provability in implicational intuitionistic logic the formula tree approach.
Electr. Notes Theor. Comput. Sci. 67: (2002) |
| 2001 |
|---|
| 8 | EE | Sabine Broda,
Luís Damas:
A Context-Free Grammar Representation for Normal Inhabitants of Types in TAlambda.
EPIA 2001: 321-334 |
| 7 | | Sabine Broda,
Luís Damas:
Counting a Type's (Principal) Inhabitants.
Fundam. Inform. 45(1-2): 33-51 (2001) |
| 2000 |
|---|
| 6 | EE | Sabine Broda,
Luís Damas:
On principal types of combinators.
Theor. Comput. Sci. 247(1-2): 277-290 (2000) |
| 1999 |
|---|
| 5 | EE | Sabine Broda,
Luís Damas:
Counting a Type's Principal Inhabitants.
TLCA 1999: 69-82 |
| 1997 |
|---|
| 4 | | Sabine Broda,
Luís Damas:
On Combinatory Complete Sets of Proper Combinators.
J. Funct. Program. 7(6): 593-612 (1997) |
| 3 | | Sabine Broda,
Luís Damas:
Compact Bracket Abstraction in Combinatory Logic.
J. Symb. Log. 62(3): 729-740 (1997) |
| 1995 |
|---|
| 2 | | Sabine Broda,
Luís Damas:
A New Translation Algorithm from Lambda Calculus into Combinatory Logic.
EPIA 1995: 359-370 |
| 1993 |
|---|
| 1 | | Luís Damas,
Nelma Moreira,
Sabine Broda:
Resolution of Constraints in Algebras of Rational Trees.
EPIA 1993: 61-76 |
