Iman Hafiz Poernomo

Langue :anglais
Sexe :masculin
ISNI :ISNI 0000 0001 2441 2016

Ses activités

Auteur du texte2 documents

  • Adapting proofs-as-programs

    the Curry-Howard protocol

    Description matérielle : 1 online resource (xi, 420 pages)
    Description : Note : Includes bibliographical references (pages 407-416) and index
    Print version record.
    Édition : New York : Springer , cop. 2005

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb446418757]
  • Adapting proofs-as-programs

    the Curry-Howard protocol

    Description matérielle : 1 vol. (XI-420 p.)
    Description : Note : Bibliogr. p. 407-416
    Édition : New York : Springer , cop. 2005
    Auteur du texte : John Newsome Crossley, Martin Wirsing

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb40224636v]

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

  • Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing, 2005
  • LC Authorities (2013-10-30)

Pages équivalentes