Cezar Ionescu
Visar 6 publikationer
Domain-Specific Languages of Mathematics
The impact of uncertainty on optimal emission policies
Type theory as a framework for modelling and programming
Sequential decision problems, dependent types and generic solutions
Contributions to a computational theory of policy advice and avoidability
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.
Visar 3 forskningsprojekt
Centre of excellence for Global Systems Science (CoeGSS)
Matematikens domänspecifika språk (DSLsofMath)
Starkt typade bibliotek för program och bevis