Information and Knowledge
Latest Publications

TOTAL DOCUMENTS

4

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Netherlands

9781402061691, 9781402061707

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analyticity and Information

Information and Knowledge ◽

10.1007/978-1-4020-6170-7_2 ◽

2008 ◽

pp. 63-123

Download Full-text

Constructive Type Theory: Foundation and Formalization

Information and Knowledge ◽

10.1007/978-1-4020-6170-7_1 ◽

2008 ◽

pp. 7-62

Keyword(s):

Type Theory ◽

Constructive Type Theory ◽

Constructive Type ◽

Theory Foundation

Download Full-text

Constructive Philosophy of Information

Information and Knowledge ◽

10.1007/978-1-4020-6170-7_4 ◽

2008 ◽

pp. 165-193

Keyword(s):

Philosophy Of Information

Download Full-text

Formal Representation of the Notion of Information

Information and Knowledge ◽

10.1007/978-1-4020-6170-7_3 ◽

2008 ◽

pp. 125-163

Keyword(s):

Formal Representation

Download Full-text