Congress on twenty-five years constructive type theory (1995 ; Venise, Italie)

Création :19-10-1995
Fin d'activité :21-10-1995
Autre forme du nom :International conference on constructive type theory

Ses activités

Auteur du texte1 document

  • Twenty-five years of constructive type theory

    Description matérielle : VII-283 p.
    Description : Note : Bibliogr. à lafin de chaque chap.
    Édition : Oxford : Clarendon Press , 1998
    Éditeur scientifique : Giovanni Sambin, Jan M. Smith (mathématicien, 19..-....)

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb391358495]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Twenty-five years of constructive type theory, 1995

Autre forme du nom

  • International conference on constructive type theory

Pages équivalentes