Search the dblp DataBase

Publications of Author

1. Luís Cruz-Filipe, Herman Geuvers, Freek Wiedijk
   C-CoRN, the Constructive Coq Repository at Nijmegen. [Citation Graph (0, 0)][DBLP]
   MKM, 2004, pp:88-103 [Conf]
   
2. Luís Cruz-Filipe, Bas Spitters
   Program Extraction from Large Proof Developments. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2003, pp:205-220 [Conf]
   
3. Luís Cruz-Filipe, Freek Wiedijk
   Hierarchical Reflection. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2004, pp:66-81 [Conf]
   
4. Luís Cruz-Filipe
   A Constructive Formalization of the Fundamental Theorem of Calculus. [Citation Graph (0, 0)][DBLP]
   TYPES, 2002, pp:108-126 [Conf]
   
5. Luís Cruz-Filipe, Pierre Letouzey
   A Large-Scale Experiment in Executing Extracted Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:1, pp:75-91 [Journal]
   
6. Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas
   Reasoning about probabilistic sequential programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:379, n:1-2, pp:142-165 [Journal]
   
7. 
   Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. [Citation Graph (, )][DBLP]