Information and Knowledge: a constructive type-theoretical approach
215 p.
Saved in:
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
H: Springer
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/24029 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
id |
oai:112.137.131.14:VNU_123-24029 |
---|---|
record_format |
dspace |
spelling |
oai:112.137.131.14:VNU_123-240292020-07-05T08:10:21Z Information and Knowledge: a constructive type-theoretical approach Giuseppe Primiero. Knowledge, Theory of ; Type theory 121 215 p. 2017-04-04T03:52:04Z 2017-04-04T03:52:04Z 2008 Book http://repository.vnu.edu.vn/handle/VNU_123/24029 en application/pdf H: Springer |
institution |
Vietnam National University, Hanoi |
building |
VNU Library & Information Center |
country |
Vietnam |
collection |
VNU Digital Repository |
language |
English |
topic |
Knowledge, Theory of ; Type theory 121 |
spellingShingle |
Knowledge, Theory of ; Type theory 121 Giuseppe Primiero. Information and Knowledge: a constructive type-theoretical approach |
description |
215 p. |
format |
Book |
author |
Giuseppe Primiero. |
author_facet |
Giuseppe Primiero. |
author_sort |
Giuseppe Primiero. |
title |
Information and Knowledge: a constructive type-theoretical approach |
title_short |
Information and Knowledge: a constructive type-theoretical approach |
title_full |
Information and Knowledge: a constructive type-theoretical approach |
title_fullStr |
Information and Knowledge: a constructive type-theoretical approach |
title_full_unstemmed |
Information and Knowledge: a constructive type-theoretical approach |
title_sort |
information and knowledge: a constructive type-theoretical approach |
publisher |
H: Springer |
publishDate |
2017 |
url |
http://repository.vnu.edu.vn/handle/VNU_123/24029 |
_version_ |
1680964539684749312 |