| A Class of Riemannian Integrable
Countinuous Functions
in Weak Analysis (pdf) |
| |
Ana Nunes, Dep. de Matemática, Univ. do Algarve |
| |
|
| Weak Theories of Arithmetic and the Counting Hierarchy (pdf) |
| |
Gilda Ferreira, CMAF, Univ. de Lisboa |
| |
|
| Perfect Secrecy Based on Kolmogorov Complexity (pdf) |
| |
Luis Antunes*, Sophie Laplante , Liliana Salvador* |
| |
* Dep. de Ciência de Computadores, Univ. do Porto & LIACC |
| |
Lab. de Recherche en Informatique, Univ.
Paris-Sud, France |
| |
|
| The Constructive Coq Repository at Nijmegen (pdf) |
| |
Luís Cruz-Filipe, Computer Science, Univ. of Nijmegen, Netherlands |
| |
|
| Extensible Overloaded Definitions (pdf) |
| |
Maria João Frade, Dep. de Informática, Univ. do Minho |
| |
|
| Modal Logic as a Specification Tool: a Case
Study Using Deontic and Action Logics (pdf) |
| |
Olga Pacheco, Dep. de Informática, Univ. do Minho |
| |
|
| Applicative Theories (pdf) |
| |
Reinhard Kahle, Dep. de Matemática, Univ. de Coimbra |
| |
|
| Weak Linearization of the Lambda-Calculus (pdf) |
| |
Sandra Alves, Mário Florido, Dep. de Ciência de Computadores,
Univ. do Porto |
| |
|
| Some Practical Considerations about the Use
of the
Curry-Howard Isomorphism |
| |
on a Industrial Size Case (pdf) |
| |
Simão Melo de Sousa, Dep. de Informática, Univ. da Beira
Interior |
| |
|
Normalization by Evaluation for
 (pdf) |
| |
Tarmo Uustalu*, Thorsten Altenkirch |
| |
* Inst. of Cybernetics, Estonia |
| |
Univ. of Nottingham, U.K. |
| |
|