Extensions of System F by Iteration and Primitive Recursion on Monotone Inductive Types

Extensions of System F by Iteration and Primitive Recursion on Monotone Inductive Types

  • Ralph Matthes
Publisher:Herbert Utz VerlagISBN 13: 9783896755780ISBN 10: 3896755781

Paperback & Hardcover deals ―

Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹619Book ChorGOCrosswordGODC BooksGO

e-book & Audiobook deals ―

Amazon India GOGoogle Play Books GOAudible GO

* Price may vary from time to time.

* GO = We're not able to fetch the price (please check manually visiting the website).

Share this with your friends:

Know about the book -

Extensions of System F by Iteration and Primitive Recursion on Monotone Inductive Types is written by Ralph Matthes and published by Herbert Utz Verlag. It's available with International Standard Book Number or ISBN identification 3896755781 (ISBN 10) and 9783896755780 (ISBN 13).

Ralph Matthes

More books from the author

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now