Categories

Want to rent books instead?
Download Urdu audiobooks
   
Advanced
Search

Programming in martin-löf's type theory

programming in martin-löf's type theory

  • By:Bengt Nordström
  • ISBN:UOM:39015018505134
  • Publication Type: Oxford University Press
  • Category: Textbooks (Marticulation/Inter)
  • Condition:Brand New
  • No Of Pages:211
  • Specification:ONLY E-BOOK AVAILABLE
  • Release Date:9th Jun 2023
  • Price:Rs 1,875.00
  • Price
    Specifications
     

  • Rs1,875.00

    ONLY E-BOOK AVAILABLE

Description

This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.

Your Comment