Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Polymorphisme paramétrique"'
Autor:
Pistone, Paolo
Dans cette thèse on s'intéresse aux formes de "circularité" qui apparaissent dans la théorie de la preuve de la logique du second ordre et de son contrepartie constructive, le Système F.Ces "circularités", ou "cercles vicieux" (Poincaré 1900),
Externí odkaz:
http://www.theses.fr/2015AIXM4046
