Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg e
67,36 €
(Co-)Iteration for Higher-Order Nested Datatypes. - Program Extraction in Simply-Typed Higher Order Logic. - General Recursion in Type Theory. - Subsets, Quotients and Partial Functions in Martin-Löf's Type Theory.
Jetzt bei Ebay:
