Two Notions of Semantics of the Simple Theory of Types

Two Notions of Semantics of the Simple Theory of Types

Bibliographic Details
Main Author: Granberg Olsson, Mattias
Format: Others
Language:English
Published: Uppsala universitet, Algebra och geometri 2014
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-227507
id ndltd-UPSALLA1-oai-DiVA.org-uu-227507
record_format oai_dc
spelling ndltd-UPSALLA1-oai-DiVA.org-uu-2275072014-06-27T05:05:22ZTwo Notions of Semantics of the Simple Theory of TypesengGranberg Olsson, MattiasUppsala universitet, Algebra och geometri2014Student thesisinfo:eu-repo/semantics/bachelorThesistexthttp://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-227507U.U.D.M. project report ; 2014:25application/pdfinfo:eu-repo/semantics/openAccess
collection NDLTD
language English
format Others
sources NDLTD
author Granberg Olsson, Mattias
spellingShingle Granberg Olsson, Mattias
Two Notions of Semantics of the Simple Theory of Types
author_facet Granberg Olsson, Mattias
author_sort Granberg Olsson, Mattias
title Two Notions of Semantics of the Simple Theory of Types
title_short Two Notions of Semantics of the Simple Theory of Types
title_full Two Notions of Semantics of the Simple Theory of Types
title_fullStr Two Notions of Semantics of the Simple Theory of Types
title_full_unstemmed Two Notions of Semantics of the Simple Theory of Types
title_sort two notions of semantics of the simple theory of types
publisher Uppsala universitet, Algebra och geometri
publishDate 2014
url http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-227507
work_keys_str_mv AT granbergolssonmattias twonotionsofsemanticsofthesimpletheoryoftypes
_version_ 1716705239976902656

Similar Items