Caml
From MaRDI portal
Software:5974577
No author found.
Related Items (9)
Principles of programming languages ⋮ The Functional Approach to Programming ⋮ A Sound Semantics for OCaml light ⋮ Certifying properties of an efficient functional program for computing Gröbner bases ⋮ Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems ⋮ Voting fairly: Transitive maximal intersecting families of sets ⋮ An analysis of Böhm's theorem ⋮ Panoptes ⋮ Unnamed Item
This page was built for software: Caml
