uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Two Notions of Semantics of the Simple Theory of Types
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics, Algebra and Geometry.
2014 (English)Independent thesis Advanced level (degree of Master (One Year)), 10 credits / 15 HE creditsStudent thesis
Place, publisher, year, edition, pages
2014. , 85 p.
Series
U.U.D.M. project report, 2014:25
National Category
Algebra and Logic
Identifiers
URN: urn:nbn:se:uu:diva-227507OAI: oai:DiVA.org:uu-227507DiVA: diva2:729911
Educational program
Master Programme in Mathematics
Supervisors
Examiners
Available from: 2014-06-26 Created: 2014-06-26 Last updated: 2014-06-26Bibliographically approved

Open Access in DiVA

fulltext(798 kB)302 downloads
File information
File name FULLTEXT01.pdfFile size 798 kBChecksum SHA-512
5e0beaab718af254a7e3368094b982da7eae11f4ed273fd9df46d69a4e7c41d969ab3eb526926a72c361cc5276be575cb05c01635c6d0017f8afea2f7702c58b
Type fulltextMimetype application/pdf

By organisation
Algebra and Geometry
Algebra and Logic

Search outside of DiVA

GoogleGoogle Scholar
Total: 302 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 643 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf