Pages that link to "Item:Q3401360"
From MaRDI portal
The following pages link to Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information (Q3401360):
Displaying 4 items.
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- Changing types: information dynamics for qualitative type spaces (Q2016079) (← links)
- Information and knowledge. A constructive type-theoretical approach (Q2464131) (← links)
- Realist Consequence, Epistemic Inference, Computational Correctness (Q5350353) (← links)