Article Dans Une Revue
Journal of Logic and Computation
Année : 2010
Claire Medrala : Connectez-vous pour contacter le contributeur
https://minesparis-psl.hal.science/hal-00917868
Soumis le : jeudi 12 décembre 2013-15:45:39
Dernière modification le : mercredi 24 avril 2024-03:07:52
Dates et versions
Identifiants
- HAL Id : hal-00917868 , version 1
Citer
Olivier Hermant, James Lipton. Completeness and cut elimination in the Intuitionistic Church's Theory of Types-Part 2. Journal of Logic and Computation, 2010, Vol. 20 (No 2), pp.597-602. ⟨hal-00917868⟩
40
Consultations
0
Téléchargements