Login / Signup

Higher-Order Multiset Programming.

Daniel Le Métayer
Published in: Specification of Parallel Algorithms (1994)
Keyphrases