Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information (Q3401360)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information |
scientific article |
Statements
Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information (English)
0 references
29 January 2010
0 references
logical abstraction
0 references
history of logic
0 references
nature of abstract objects
0 references
nature of logical types
0 references
constructive type theory
0 references
abstraction in computer science
0 references
