Nicola Botta

Adjungerad docent vid Funktionell programmering
gravatar.com image

Visar 4 publikationer

2021

Extensional equality preservation and verified generic programming

Nicola Botta, Nuria Brede, Patrik Jansson et al
Journal of Functional Programming. Vol. 31
Artikel i vetenskaplig tidskrift
2021

On the correctness of monadic backward induction

Nuria Brede, Nicola Botta
Journal of Functional Programming. Vol. 31
Artikel i vetenskaplig tidskrift
2018

Type theory as a framework for modelling and programming

Cezar Ionescu, Patrik Jansson, Nicola Botta
. Vol. 11244 (1), p. 119-133
Paper i proceeding
2018

The impact of uncertainty on optimal emission policies

Nicola Botta, Patrik Jansson, Cezar Ionescu
Earth System Dynamics. Vol. 9 (2), p. 525-542
Artikel i vetenskaplig tidskrift

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.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Nicola Botta medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.