Benedikt

Results: 457



#Item
151

Formalizing category theory in type theory Benedikt Ahrens Semantics of proofs and certified mathematics Institut Henri Poincaré

Add to Reading List

Source URL: benedikt-ahrens.de

Language: English - Date: 2014-05-06 15:17:31
    152

    Models of type theory in univalent mathematics B. Ahrens, about jww P. LeF. Lumsdaine, V. Voevodsky Institut de Recherche en Informatique de Toulouse Université Paul Sabatier

    Add to Reading List

    Source URL: benedikt-ahrens.de

    Language: English - Date: 2015-08-31 05:41:10
      153

      Task Patterns to support task-centric Social Software Engineering Benedikt Schmidt1 and Wolfgang Reinhardt2 1 SAP Research CEC Darmstadt, Bleichstrasse 8, 64283 Darmstadt, Germany,

      Add to Reading List

      Source URL: sunsite.informatik.rwth-aachen.de

      Language: English - Date: 2009-07-31 15:18:32
        154

        JRGSp Bibliographische Nachweise 1 Teil B Schauen auf den Durchbohrten: Das Paschamysterium Christi

        Add to Reading List

        Source URL: www.institut-papst-benedikt.de

        Language: German - Date: 2014-03-10 13:03:45
          155

          Seniorenheim_St_Benedikt_Frabertsham.indd

          Add to Reading List

          Source URL: www.altenmarkt.de

          Language: German - Date: 2014-10-15 06:21:40
            156

            Sonstige Angebote: Kontemplative Kurzexerzitien Im Bildungszentrum St. Benedikt Promenade 13,3353 Seitenstetten Tel.: KONTEMPLATIVE KURZ-EXERZITIEN

            Add to Reading List

            Source URL: www.kontemplation-in-aktion.de

            - Date: 2016-05-23 05:18:08
              157

              Im Bogengang neben dem Vorplatz der Basilika wird demnächst das Wappen von Papst Benedikt XVI. hängen. 쐍 Foto: Hennecke Papst-Wappen wird ausgetauscht Bevölkerung kann es sich am Wochenende erst nochmal genauer ans

              Add to Reading List

              Source URL: wallfahrt-werl.de

              Language: German - Date: 2013-06-26 08:03:50
                158

                In Zusammenarbeit mit der Libreria Editrice Vaticana Bibliographische Information der Deutschen Bibliothek Die Deutsche Bibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliographie;

                Add to Reading List

                Source URL: www.institut-papst-benedikt.de

                Language: German - Date: 2013-03-05 11:39:01
                  159

                  Introduction to Higher Inductive Types Benedikt Ahrens Institut de Recherche en Informatique de Toulouse 2013–11–21

                  Add to Reading List

                  Source URL: benedikt-ahrens.de

                  Language: English - Date: 2013-12-12 15:06:18
                    160

                    Univalent Foundations and the equivalence principle Benedikt Ahrens Outline

                    Add to Reading List

                    Source URL: benedikt-ahrens.de

                    Language: English - Date: 2016-06-02 12:35:34
                      UPDATE