Especificaciones y Programas: Modelos de Cálculo, Tipos e Implementaciones

Artículos Publicados

• Studies of a Theory of Specifications with built-in Program Extraction

Paula Severi y Nora Szasz.
Journal of Automated Reasoning, Vol. 27(1), July 2001.
 
• Internal program extraction in the Calculus of Inductive Constructions

Paula Severi y Nora Szasz.
Proceedings of WAIT 2002 (Argentine workshop in Theoretical Computer Science).
 
• An operational approach to program extraction in the Calculus of Constructions

Maribel Fernández y Paula Severi.
Proceeding of Logic Based Program Development and Transformation 2002 (LOPSTR'02), a ser publicados en Lecture Notes in Computer Science.
 
• Eliminating proofs from programs

Femke van Raamsdonk y Paula Severi.
Third International Workshop on Logical Frameworks and Meta-Languages (LFM'02). Volumen 70.2 de Electronic Notes in Theoretical Computer Science.
 
• A uniform approach to program extraction: Pure Type Systems with ultra Sigma-types

Maribel Fernáandez, Ian Mackie, Paula Severi y Nora Szasz.
Proceedings of CLEI 2002.