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
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.