AbstractsMathematics
Two Notions of Semantics of the Simple Theory of Types
| Institution: | Uppsala University |
|---|---|
| Department: | |
| Year: | 2014 |
| Keywords: | Natural Sciences; Mathematics; Algebra and Logic; Naturvetenskap; Matematik; Algebra och logik; Master Programme in Mathematics; Masterprogram i matematik |
| Record ID: | 1338517 |
| Full text PDF: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-227507 |
Abstract
