muFP
From MaRDI portal
Software:40359
No author found.
Related Items (5)
Proof producing synthesis of arithmetic and cryptographic hardware ⋮ Parallel algorithms development for programmable devices with application from cryptography ⋮ A formal equational theory for call-by-push-value ⋮ Unnamed Item ⋮ Describing and Optimising Reversible Logic Using a Functional Language
This page was built for software: muFP
