A Model of PCF in Guarded Type Theory
- 期刊名称Electronic Notes in Theoretical Computer Science
- 作者Paviotti, Marco; Møgelberg, Rasmus Ejlers; Birkedal, Lars
- 卷第319卷
- 印刷ISSN1571-0661
- 文件大小280.29KB
- 发表时间2015-12
- DOI10.1016/j.entcs.2015.12.020
- 页码333-349
Electrochemical sensing of total sulphites in beer using non-modified screen-printed carbon electrodesRamos, Rui M.; Brandão, Pedro F.; Gonçalves, Luís M.; Vyskočil, Vlastimil; Rodrigues, José A. · Journal of the Institute of Brewing · 2017
Voltammetric determination of trace amounts of diacetyl at a mercury meniscus modified silver solid amalgam electrode following gas-diffusion microextractionRamos, Rui M.; Gonçalves, Luís M.; Vyskočil, Vlastimil; Rodrigues, José A. · Talanta · 2017
Ionic liquids for hybrid supercapacitorsBALDUCCI, A · Electrochemistry Communications · 2004
Efficient cathodic carboxylation of grapheneJouikov, Viatcheslav; Simonet, Jacques · Electrochemistry Communications · 2014
ContentsElectrochemistry Communications · 2014
ContentsElectrochemistry Communications · 2013
EditorialCompton, Richard G. · Electrochemistry Communications · 2014
Editorial BoardElectrochemistry Communications · 2013
Editorial BoardElectrochemistry Communications · 2013
Editorial BoardElectrochemistry Communications · 2012