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

Not Available / Digital Item

Customers who purchased this also purchased....