Morten Heine Sørensen

Pays :Danemark
Langue :danois
Sexe :masculin
Note :
Ecrit aussi en anglais
Mathématicien. - En poste : Københavns universitet, Copenhague (en 2006)
ISNI :ISNI 0000 0001 1659 2221

Ses activités

Auteur du texte1 document

  • Lectures on the Curry-Howard isomorphism

    Description matérielle : 1 vol. (XIV-442 p.)
    Description : Note : Bibliogr. p. 403-430
    Édition : Amsterdam : Elsevier , 2006
    Autre auteur du texte : Paweł Urzyczyn

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

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

  • Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn, 2006

Pages équivalentes