Pages that link to "Item:Q2464131"
From MaRDI portal
The following pages link to Information and knowledge. A constructive type-theoretical approach (Q2464131):
Displaying 8 items.
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- An epistemic logic for becoming informed (Q833038) (← links)
- The theory of info-statics: conceptual foundations of information and knowledge (Q1673945) (← links)
- Changing types: information dynamics for qualitative type spaces (Q2016079) (← links)
- Meaning and computing: two approaches to computable propositions (Q2148782) (← links)
- Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information (Q3401360) (← links)
- Making Sense of Sense Containment (Q4608203) (← links)
- Realist Consequence, Epistemic Inference, Computational Correctness (Q5350353) (← links)