Search Results - Open Polar - Comptes Rendus de l'Académie des Sciences - Series I - Mathematics

Select result number 1
1

Un R\'esultat de Compl\'etude pour les Types $\forall^+$ du Syst\`eme F

by Nour, Karim, Farkh, Samir
Published in Comptes Rendus de l'Académie des Sciences - Series I - Mathematics (2009)
Subjects: “...Mathematics - Logic...”

Get access
Get access

Text