Alexandre Buisse

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

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

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.