Nominal

Results: 3221



#Item
21Rule Formats for Nominal Transition Systems Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir and Yolanda Ortega-Mallén September 8th, 2017

Rule Formats for Nominal Transition Systems Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir and Yolanda Ortega-Mallén September 8th, 2017

Add to Reading List

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

- Date: 2018-01-15 12:24:53
    22The Supply of Transaction Assets, Nominal Income, and Monetary Policy Transmission Joshua R. Hendrickson∗and David Beckworth† This Draft: SeptemberAbstract

    The Supply of Transaction Assets, Nominal Income, and Monetary Policy Transmission Joshua R. Hendrickson∗and David Beckworth† This Draft: SeptemberAbstract

    Add to Reading List

    Source URL: economics.olemiss.edu

    - Date: 2017-09-12 15:06:20
      2321 de MarzoCrecieron 6,4% nominal en enero, según estimaciones CCS Inventarios prolongan fase expansiva y confirman recuperación económica

      21 de MarzoCrecieron 6,4% nominal en enero, según estimaciones CCS Inventarios prolongan fase expansiva y confirman recuperación económica

      Add to Reading List

      Source URL: www.ccs.cl

      - Date: 2018-03-21 15:37:55
        24Gibson’s Paradox Alasdair Macleod GoldMoney Email: Thomas Tooke in 1844 is generally thought to be the first to observe that the price level and nominal interest rates were positively cor

        Gibson’s Paradox Alasdair Macleod GoldMoney Email: Thomas Tooke in 1844 is generally thought to be the first to observe that the price level and nominal interest rates were positively cor

        Add to Reading List

        Source URL: pricesandmarkets.org

        - Date: 2016-11-22 11:29:13
          25Rule 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.)

          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
            26Formalizing type theory in type theory using nominal techniques Ulrik Buchholtz TU Darmstadt HoTT/UF Workshop, Oxford, September 9, 2017

            Formalizing type theory in type theory using nominal techniques Ulrik Buchholtz TU Darmstadt HoTT/UF Workshop, Oxford, September 9, 2017

            Add to Reading List

            Source URL: hott-uf.github.io

            - Date: 2018-03-28 14:04:14
              27Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

              Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

              Add to Reading List

              Source URL: www.cs.utah.edu

              - Date: 2004-04-03 19:39:33
                28Nominal Structural Operational Semantics? Luca Aceto1 , Matteo Cimini2 , Anna Ingolfsdottir1 , MohammadReza Mousavi3 , Michel A. Reniers4 , and Murdoch J. Gabbay5 1 ICE-TCS, School of Computer Science, Reykjav´ık Univ

                Nominal Structural Operational Semantics? Luca Aceto1 , Matteo Cimini2 , Anna Ingolfsdottir1 , MohammadReza Mousavi3 , Michel A. Reniers4 , and Murdoch J. Gabbay5 1 ICE-TCS, School of Computer Science, Reykjav´ık Univ

                Add to Reading List

                Source URL: cimini.info

                - Date: 2015-12-30 23:47:11
                  29Event Structure Semantics for Nominal Calculi? Roberto Bruni1 , Hern´an Melgratti2 , and Ugo Montanari1 1 Dipartimento di Informatica, Universit`a di Pisa, Italia. 2 IMT Lucca Institute for Advance Studies, Italia.

                  Event Structure Semantics for Nominal Calculi? Roberto Bruni1 , Hern´an Melgratti2 , and Ugo Montanari1 1 Dipartimento di Informatica, Universit`a di Pisa, Italia. 2 IMT Lucca Institute for Advance Studies, Italia.

                  Add to Reading List

                  Source URL: www.di.unipi.it

                  - Date: 2006-06-09 12:40:50
                    30Kevin D. Sheedy London School of Economics Debt and Incomplete Financial Markets: A Case for Nominal GDP Targeting ABSTRACT  For many households borrowing is possible only by accepting a financial contract that speci

                    Kevin D. Sheedy London School of Economics Debt and Incomplete Financial Markets: A Case for Nominal GDP Targeting ABSTRACT  For many households borrowing is possible only by accepting a financial contract that speci

                    Add to Reading List

                    Source URL: www.brookings.edu

                    - Date: 2016-07-30 22:46:41