• norsk
    • English
  • English 
    • norsk
    • English
  • Login
Browsing Department of Informatics by Document Types 
  •   Home
  • Faculty of Mathematics and Natural Sciences
  • Department of Informatics
  • Department of Informatics
  • Browsing Department of Informatics by Document Types
  •   Home
  • Faculty of Mathematics and Natural Sciences
  • Department of Informatics
  • Department of Informatics
  • Browsing Department of Informatics by Document Types
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browsing Department of Informatics by Document Types "Dataset"

  • 0-9
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z
  • Æ
  • Ø
  • Å

Sort by:

Order:

Results:

Now showing items 1-1 of 1

  • title
  • issue date
  • submit date
  • author
  • ascending
  • descending
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
    • Proofs, Types and Lambda Calculus - datasets 

      Polonsky, Andrew (Dataset, 2012-02-28)

      Contact Us | Send Feedback

      Privacy policy
      DSpace software copyright © 2002-2019  DuraSpace

      Service from  Unit
       

       

      Browse

      ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDocument TypesJournalsThis CollectionBy Issue DateAuthorsTitlesSubjectsDocument TypesJournals

      My Account

      Login

      Contact Us | Send Feedback

      Privacy policy
      DSpace software copyright © 2002-2019  DuraSpace

      Service from  Unit