Workshop on Type-theoretic Languages: Proof-search and Semantics
Résumé
Type-theoretic Languages: Proof-search and semantics
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00099240
Soumis le : mardi 26 septembre 2006-08:52:04
Dernière modification le : vendredi 24 mars 2023-14:52:48