LS

Results: 6490



#Item
221

On Hopefully Intelligible Contributions to Seminar Series and Related Events (aka. This Talk on Kurt Gödel is not a Pearl of Computation) Álvaro García-Pérez

Add to Reading List

Source URL: babel.ls.fi.upm.es

- Date: 2016-05-31 09:35:40
    222

    Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order Álvaro García-Pérez Pablo Nogueira

    Add to Reading List

    Source URL: babel.ls.fi.upm.es

    - Date: 2016-05-31 08:00:52
      223

      Rule formats for bounded nondeterminism in structural operational semantics Luca Aceto Álvaro García-Pérez

      Add to Reading List

      Source URL: babel.ls.fi.upm.es

      - Date: 2016-05-31 08:08:10
        224

        Web: ls.amegroups.com Email: PUBLICATION ETHICS STATEMENT

        Add to Reading List

        Source URL: ls.amegroups.com

        - Date: 2017-09-08 05:06:35
          225

          Deriving Interpretations of the Gradually-Typed Lambda Calculus Álvaro García-Pérez Pablo Nogueira

          Add to Reading List

          Source URL: babel.ls.fi.upm.es

          - Date: 2016-05-31 08:02:48
            226

            A Standard Theory for the Pure Lambda-Value Calculus Álvaro García-Pérez Pablo Nogueira

            Add to Reading List

            Source URL: babel.ls.fi.upm.es

            - Date: 2016-05-31 07:48:41
              227

              Towards modular verification of consensus protocols Álvaro García Pérez IMDEA Software Institute, Madrid

              Add to Reading List

              Source URL: babel.ls.fi.upm.es

              - Date: 2018-01-15 12:22:36
                228

                Outline of report •  Basic Information • 

                Add to Reading List

                Source URL: ls.amegroups.com

                - Date: 2018-01-30 22:05:02
                  229

                  LEARNING SCIENCES (LS) CURRICULUM The Learning Sciences (LS) concentration, new at Northwestern as of Fall 2016, equips students with the theoretical and practical knowledge to understand learning in a wide range of soci

                  Add to Reading List

                  Source URL: www.sesp.northwestern.edu

                  - Date: 2018-04-03 02:00:15
                    230

                    Semestr letniKierunek: matematyka, stopień 2, rok 1, spec. zastosowania matematyki Analiza funkcjonalna (PdW na I st) [AF] prof. dr hab. M. Lemańczyk, dr S. Król; MON – LS [M-LS] prof. dr hab. L. Słomiń

                    Add to Reading List

                    Source URL: plan.mat.umk.pl

                    - Date: 2018-03-15 05:01:50
                      UPDATE