Alexandre Buisse

Publikationer (3)
Projekt (0)

Visar 3 publikationer

2008

The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective

Peter Dybjer, Alexandre Buisse

Electr. Notes Theor. Comput. Sci. (218), p. 21-32

Paper i proceeding

2008

Towards Formalizing Categorical Models of Type Theory in Type Theory

Alexandre Buisse, Peter Dybjer

Electronic Notes in Theoretical Computer Science. Vol. 196 (C), p. 137-151

Artikel i vetenskaplig tidskrift

2007

Towards formalizing categorical models of type theory in type theory

Alexandre Buisse, Peter Dybjer

Second International Workshop on Logical Frameworks and Metalanguages: Theory and Practice (LFMTP'07), eds Brigite Pientka and Carsten Schurmann, Electronic Notes in Theoretical Computer Science, Elsevier, p. 72-85

Paper i proceeding

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 Alexandre Buisse medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.