Zum Inhalt springen

  1. Coquand, Thierry [Herausgeber:in]; Dybjer, Peter [Herausgeber:in]; Nordström, Bengt [Herausgeber:in]; Smith, Jan [Herausgeber:in] ; Workshop Types for Proofs and Programs 3 1999, International Workshop TYPES 4 1996 Aussois

    Types for proofs and programs : selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2000

    Erschienen in: Lecture notes in computer science ; 1956

  3. Coquand, Thierry [Verfasser:in] ; Huawei's Mathematical and Algorithmic Sciences Lab [Sonstige Person, Familie und Körperschaft]

    Computational Interpretation of Topos Theory

    Videos
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Institut des Hautes Études Scientifiques (IHÉS), 2018

    Erschienen in: 4th Huawei-IHES Workshop on Mathematical Theories for Information and Communication Technologies ; (Jan. 2018)

  5. Coquand, Thierry [Verfasser:in] ; Dybjer, Peter [Sonstige Person, Familie und Körperschaft]; Nordström, Bengt [Sonstige Person, Familie und Körperschaft]; Smith, Jan [Sonstige Person, Familie und Körperschaft]

    Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2000

    Erschienen in: Lecture notes in computer science ; 1956

  6. Coquand, Thierry [Verfasser:in] ; Dybjer, Peter [Sonstige Person, Familie und Körperschaft]; Nordström, Bengt [Sonstige Person, Familie und Körperschaft]; Smith, Jan [Sonstige Person, Familie und Körperschaft]

    Types for Proofs and Programs : International Workshop, TYPES’99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2000

    Erschienen in: Lecture notes in computer science ; 195600

  10. Barakat, Mohamed [Herausgeber:in]; Coquand, Thierry [Herausgeber:in]; Quadrat, Alban [Herausgeber:in]

    Mini-Workshop: Constructive Homological Algebra with Applications to Coherent Sheaves and Control Theory : 12.05.2013 - 18.05.2013

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Publ. Date 17 March 2014

    Erschienen in: Oberwolfach reports ; 2013

  11. Yengui, Ihsen [Herausgeber:in]; Quadrat, Alban [Herausgeber:in]; Coquand, Thierry [Herausgeber:in]

    Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra : 8.11.2009 - 14.11.2009

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Publ. Date 1 September 2010

    Erschienen in: Oberwolfach reports ; 2009

  13. Adams, Robin [Verfasser:in]; Bezem, Marc [Verfasser:in]; Coquand, Thierry [Verfasser:in] ; Robin Adams and Marc Bezem and Thierry Coquand [Mitwirkende:r]

    A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  16. Coquand, Thierry [Verfasser:in]; Dawar, Anuj [Verfasser:in]; Niwinski, Damian [Verfasser:in] ; Thierry Coquand and Anuj Dawar and Damian Niwinski [Mitwirkende:r]

    The Ackermann Award 2012

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012

  17. Coquand, Thierry [Verfasser:in]; Lombardi, Henri [Verfasser:in]; Roy, Marie-Françoise [Verfasser:in] ; Thierry Coquand and Henri Lombardi and Marie-Françoise Roy [Mitwirkende:r]

    05021 Abstracts Collection – Mathematics, Algorithms, Proofs

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006

  19. Coquand, Thierry [Verfasser:in]; Lombardi, Henri [Verfasser:in]; Roy, Marie-Françoise [Verfasser:in] ; Thierry Coquand and Henri Lombardi and Marie-Françoise Roy [Mitwirkende:r]

    Verification and Constructive Algebra (Dagstuhl Seminar 03021)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2004

  20. Bennequin, Daniel [Verfasser:in]; Debbah, Mérouane [Verfasser:in]; Belfiore, Jean-Claude [Verfasser:in]; Caramello, Olivia [Verfasser:in]; Coquand, Thierry [Verfasser:in] ; Institut des hautes études scientifiques Bures-sur-Yvette

    4th Huawei-IHES Workshop on Mathematical Theories for Information and Communication Technologies

    Videos
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Bures-sur-Yvette]: [Institut des hautes études scientifiques (IHÉS)], 2018