From constructivism to computer science (Q1274450)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From constructivism to computer science |
scientific article |
Statements
From constructivism to computer science (English)
0 references
12 January 1999
0 references
proof interpretation of intuitionistic logic
0 references
0 references
