Constructively finite?

• Thierry Coquand ^[1] ; Arnaud Spiwack ^[2]
  1. [1] Chalmers University of Technology

     Chalmers University of Technology

     Suecia

     
  2. [2] École Polytechnique

     École Polytechnique

     Arrondissement de Palaiseau, Francia

     
• Localización: Contribuciones científicas en honor de Mirian Andrés Gómez / coord. por Laureano Lambán Pardo , Ana Romero Ibáñez , Julio Rubio García ; Mirian Andrés Gómez (hom.), 2010, ISBN 978-84-96487-50-5, págs. 217-230
• Idioma: inglés
• Enlaces
  • Texto completo (pdf)