Information and Knowledge: a constructive type-theoretical approach

215 p.

Saved in:
Bibliographic Details
Main Author: Giuseppe Primiero.
Format: Book
Language:English
Published: H: Springer 2017
Subjects:
121
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