Typing total recursive functions in Coq (Q1687755)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Typing total recursive functions in Coq |
scientific article |
Statements
Typing total recursive functions in Coq (English)
0 references
4 January 2018
0 references
