Babel

Results: 712



#Item
11

LATEX News Issue 19, September 2009 New LATEX release Babel

Add to Reading List

Source URL: www.latex-project.org

- Date: 2016-08-08 13:00:04
    12

    Rule formats for bounded nondeterminism in Nominal SOS Álvaro García-Pérez (Joint work with Luca Aceto, Ignacio Fábregas and Anna Ingólfsdóttir.)

    Add to Reading List

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

    - Date: 2016-05-31 08:04:56
      13

      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
        14

        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
          15

          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
            16

            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
              17

              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
                18

                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
                  19

                  ´ UNIVERSIDAD POLITECNICA DE MADRID ´cnica Superior de Escuela Te

                  Add to Reading List

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

                  - Date: 2016-05-07 11:06:46
                    20

                    The Essence of Reynolds (title borrowed from POPL14’s session in honour of John C. Reynolds, by Stephen Brookes, Peter O’Hearn and Uday Reddy) Álvaro García-Pérez

                    Add to Reading List

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

                    - Date: 2016-05-31 09:31:40
                      UPDATE