Shah Alam

  • UiTM Shah Alam
  • UITM Sarawak
  • UITM Perlis
  • UITM Pulau Pinang
  • UITM Sabah
  • UiTM Negeri Sembilan
  • UiTM Johor
  • UITM Melaka
  • UITM Pahang
  • UITM Kelantan
  • UITM Kedah
  • UITM Perak
  • UITM Terengganu
  • UiTM Libraries
.

Isomorphisms of types : from [lambda]-calculus to information retrieval and language design / Roberto Di Cosmo

  • Linear

  • MARC

  •  
    QA76.7
    .D5 1995
     
    378979 (Shelf),BOK
    Di Cosmo, Roberto , 1963-

         Isomorphisms of types : from [lambda]-calculus to information retrieval and language design. - Boston , 1995.

         viii, 235 p. : ill. ; 25 cm Progress in theoretical computer science.

         ISBN 081763763X.
         
         1. Type theory 2. Programming languages (Electronic computers) 3. Human-computer interaction.I. Title II. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    378979ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKret

Search In

Shelf Browse

No Shelf Browse Data.

Top