Dependent Type Computer Science (2 results)

Title: 
Refine with Advanced Search

Refine your search

  • Books (2)

  • New (2)
Learn more

to

Custom price range (£)

to

  • Language: English

    Published by Omniscriptum, 2026

    6131622450 / 9786131622458

    • Softcover
    • Print on Demand

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    £ 35.05

    £ 29.57 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science and logic, a dependent type is a type that depends on a value. Dependent types play a central role in intuitionistic type theory and in the design of experimental functional programming languages like Dependent ML, Agda and Epigram.…

  • Language: English

    Published by OmniScriptum, 2026

    6131622450 / 9786131622458

    • Softcover
    • Print on Demand

    Seller: preigu, Osnabrück, Germanypreigu

    5-star seller
    Contact seller

    Condition: New

    £ 95.59

    £ 59.14 shipping 
    Ships from Germany to U.S.A.

    Quantity: 5 available

    Taschenbuch. Condition: Neu. Dependent Type | Computer science, Logic, Type system, Intuitionistic type theory, Functional programming languages | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786131622458 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. …