AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed

AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching
Country USA
Binding Kindle Edition
ReleaseDate 2025-10-13
Format Kindle eBook

Disney Mickey Mouse Smash Youth Little Boys Graphic T Shirt (XS (4/5))

Going for Gold

Dr. Seuss One Fish Two Fish 23in Panel Celebration Fabric By The Yard

[UL Listed] 8 Foot Long Omnihil AC/DC Power Adapter /Adaptor Compatible with Meraki MR18, MR26, MR32, and MR34 Wall Charger

Hyperflex Access Unisex Child's 2mm Back Zip Shorty Wetsuit - Warm, Kid's Springsuit - 4-Way Stretch Neoprene - Adjustable Collar and Flat Lock Construction - 50+ UV Shield. Ages 2 Thru 16

Heddon One Knocker Spook Lure

(6) OZIUM AIR SANITIZERS 3.5 OZ CLEANS AIR KILLS BACTERIA ORIGINAL SCENT

Volatile Tank Women's Buckle Combat Boots Faux Leather

Country	USA
Binding	Kindle Edition
ReleaseDate	2025-10-13
Format	Kindle eBook

AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching

Customers who purchased this also purchased....