14173863
Results 1 to 1 of 1
Selection :
Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq = A formalization of affine bundle and schemes in type theory with CoqCHICLI, Laurent.Journées francophones des langages applicatifs. 2001, pp 17-31, isbn 2-7261-1180-7Conference Paper