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. Interaction graphs: Graphings.Thomas Seiller - 2017 - Annals of Pure and Applied Logic 168 (2):278-320.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • From abstraction and indiscernibility to classification and types.Jean-Baptiste Joinet & Thomas Seiller - 2021 - Kagaku Tetsugaku 53 (2):65-93.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•