Guilhem Moulin
Visar 9 publikationer
A Presheaf Model of Parametric Type Theory
Formal Verification of an Authorization Protocol for Remote Vehicle Diagnostics
Pure Type Systems with an Internalized Parametricity Theorem
Short Paper: Formal Verification of an Authorization Protocol for Remote Vehicle Diagnostics
A Computational Interpretation of Parametricity
Towards a computational interpretation of parametricity
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.