Publications
-
The Average Transition Complexity of Glushkov and Partial
Derivative Automata,
, DLT'2011, LNCS 6795, pp. 93-104, 2011, (with A. Machiavelo, N. Moreira, and
R. Reis).
-
On the Average State Complexity of Partial Derivative Automata: an
Analytic Combinatorics Approach, I. J. of Foundations of
Computer Science, Volume 22, Issue 7, pp. 1593-1606, 2011, (with A. Machiavelo, N. Moreira, and
R. Reis).
-
On the Average Number of States of Partial Derivative Automata,
DLT'2010, LNCS 6224, pp. 112-123, 2010, (with A. Machiavelo, N. Moreira, and
R. Reis).
-
On Principal Types of BCK-lambda-terms, Wollic'2007, LNCS, 2007 (with
L. Damas),
Abstract ,
Proofs .
-
On Long Normal Inhabitants of a Type, J. of
Logic and Computation 15:353-390, 2005 (with
L. Damas),
Abstract .
-
The Decidability of a Fragment of BB'IW-Logic, J. of
Theoretical Computer Science 318 (3), pp.373-408, 2004, (with
L. Damas, M. Finger and P. Silva e Silva),
Abstract .
-
Studying provability in implicational intuitionistic logic: the
formula tree approach, Wollic'2002, ENTCS (Elsevier) Vol. 67,
(with L. Damas),
Abstract .
-
Counting a Type's (Principal) Inhabitants, Fundamenta
Informaticae 45, pp. 33-51, 2001, (with L. Damas),
Abstract .
-
A context-free grammar representation for normal inhabitants of
types in TA-lambda, EPIA'01, LNAI 2258, 2001, (with L. Damas),
Abstract .
-
On principal types of combinators, J.
Theoretical Computer Science 247 (1-2), pp. 277-290, 2000, (with
L. Damas),
Abstract .
-
On the structure of normal lambda terms having a certain type,
Wollic'2000, (with L. Damas),
Abstract and
ps-file.
-
Counting a Type's Principal Inhabitants (Extended Abstract),
TLCA'99, LNCS 1581, pp. 69-82, 1999, (with L. Damas),
Abstract .
-
On combinatory complete sets of proper combinators, J. Functional
Programming 7 (6), pp. 593-612, 1997, (with L. Damas),
Abstract .
-
Compact bracket abstraction in combinatory logic, J. Symbolic Logic 62
(3), pp.729-740, 1997, (with L. Damas), Abstract .
-
A new translation algorithm from Lambda Calculus into Combinatory
Logic, EPIA'95, LNAI 990, pp. 359-370, 1995, (with L. Damas), Abstract .
-
Resolution of constraints in algebras of rational trees, EPIA'93,
LNAI 727, 61-76, 1993, (with N. Moreira and L. Damas).
Internal reports
My PhD-Thesis