No label defined (Q4694210)
From MaRDI portal
scientific article; zbMATH DE number 218497
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 218497 |
Statements
29 June 1993
0 references
computer-assisted reasoning
0 references
constructive mathematics
0 references
semantics of higher order functional programming languages
0 references
computer algebra
0 references
REDUCE
0 references
Curry-Howard isomorphism
0 references
