Concepts
Hindley–Milner type system
—monthly views
0copies owned
—player watchlists
Concepts
Hindley–Milner type system
Type system used in computer programming and mathematics
rare · Q200996
Related cards · formal system
See all 92
Concepts
First-order logic
—monthly views
0copies owned
—player watchlists
Concepts
Peano axioms
—monthly views
0copies owned
—player watchlists
Concepts
Propositional logic
—monthly views
0copies owned
—player watchlists
Concepts
Fuzzy logic
—monthly views
0copies owned
—player watchlists
Concepts
NAND logic
—monthly views
0copies owned
—player watchlists
Concepts
Homotopy type theory
—monthly views
0copies owned
—player watchlists