Switch to: References

Citations of:

On the Computational Meaning of Axioms

In Ángel Nepomuceno Fernández, Olga Pombo Martins & Juan Redmond (eds.), Epistemology, Knowledge and the Impact of Interaction. Cham, Switzerland: Springer Verlag (2016)

Add citations

You must login to add citations.
  1. From abstraction and indiscernibility to classification and types.Jean-Baptiste Joinet & Thomas Seiller - 2021 - Kagaku Tetsugaku 53 (2):65-93.
    Download  
     
    Export citation  
     
    Bookmark  
  • Interaction graphs: Graphings.Thomas Seiller - 2017 - Annals of Pure and Applied Logic 168 (2):278-320.
    Download  
     
    Export citation  
     
    Bookmark