GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Philippe De Groote, Auteur | Louvain-la-Neuve (Belgique) : Academia-Bruylant | Cahier du Centre de logique | 1995This volume is devoted to the Formulae-as-Types correspondence, also widely known as the Curry-Howard isomorphism. So far this has been studied mainly by constructive logicians. But it has recently been revived by theoretical computer scientists[...]
