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

Sold Out / Out of Stock

Customers who purchased this also purchased....