Oskar Eriksson
I'm a PhD student in the Logic and Types unit supervised by Andreas Abel. I'm interested in graded type theory where elements of a semiring are used e.g. to track how many times data (like function arguments) are being used during evaluation. I'm mainly working on formalizing such a type theory using Agda. https://github.com/graded-type-theory/graded-type-theory
Visar 2 publikationer
A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.