Conference

1998

Introduction to Real PCF. In: Proceedings of the 3rd conference on Real Numbers and Computers, J.-M. Chesneaux, F. Jézéquel, J.-L. Lamote, and J. Vignes eds. l'Université Pierre et Marrie Curie, Paris, April 27--29, 1998, pp.187-197. (Notes complementing an invited speach.)

1998

Calculus in coinductive form. In: Proceedings of the 13th IEEE Symposium on Logic in Computer Science. Indiana, USA, June 1998. Joint work with Dusko Pavlovic.

1997

Induction and recursion on the partial real line via biquotients of bifree algebras. In: Proceedings of the 12th IEEE Symposium on Logic in Computer Science. Warsaw, Poland, June 1997, pp.376-386. Joint work with Thomas Streicher.

1997

Semantics of exact real arithmetic. In: Proceedings of the 12th IEEE Symposium on Logic in Computer Science. Warsaw, Poland, June 1997, pp.248-257 Joint work with Peter Potts and Abbas Edalat.

1997

Injective spaces via the filter monad. To appear in Proceedings of the 12th Summer Conference on Topology and Its Applications.

1996

Integration in Real PCF. In: Proceedings of the 11th IEEE Symposium on Logic in Computer Science, pp.382-393. Joint work with Abbas Edalat.

1993

Lazy natural numbers. In: Proceedings of the 13th annual SBC Symposium. Extended abstract of awarded MSc thesis (in Portuguese).

1990

A type system for Prolog. In: Proceedings of 10th annual SBC Symposium. Extended abstract of awarded BSc project (in Portuguese).

1987

Topological algebra: an approach to the analysis of electrical circuits. In: Proceedings of the 10th annual Brazilian symposium on applied and computational mathematics (in Portuguese). Joint work with Eduardo Todt.