ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti (Q3179416)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti |
scientific article |
Statements
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti (English)
0 references
21 December 2016
0 references
