Assaf

Results: 161



#Item
51A Universal Proof Framework Ali Assaf INRIA Paris-Rocquencourt, Deducteam Outline

A Universal Proof Framework Ali Assaf INRIA Paris-Rocquencourt, Deducteam Outline

Add to Reading List

Source URL: who.rocq.inria.fr

- Date: 2014-12-18 18:53:21
    52A calculus of constructions with explicit subtyping Ali Assaf September 16, 2014 Abstract The calculus of constructions can be extended with an infinite hierarchy of universes and cumulative subtyping. In this hierarchy,

    A calculus of constructions with explicit subtyping Ali Assaf September 16, 2014 Abstract The calculus of constructions can be extended with an infinite hierarchy of universes and cumulative subtyping. In this hierarchy,

    Add to Reading List

    Source URL: who.rocq.inria.fr

    - Date: 2014-12-18 18:53:18
      53Conservativity of embeddings in the lambda-Pi calculus modulo rewriting Ali Assaf February 12, 2015 Abstract The lambda-Pi calculus can be extended with rewrite rules to embed

      Conservativity of embeddings in the lambda-Pi calculus modulo rewriting Ali Assaf February 12, 2015 Abstract The lambda-Pi calculus can be extended with rewrite rules to embed

      Add to Reading List

      Source URL: who.rocq.inria.fr

      - Date: 2015-02-12 07:53:44
        54Completeness of algebraic CPS simulations Ali Assaf Simon Perdrix LIG, Université Joseh Fourier

        Completeness of algebraic CPS simulations Ali Assaf Simon Perdrix LIG, Université Joseh Fourier

        Add to Reading List

        Source URL: who.rocq.inria.fr

        - Date: 2014-12-18 18:53:18
          55COMPRESSION BOUNDS FOR LIPSCHITZ MAPS FROM THE HEISENBERG GROUP TO L1 JEFF CHEEGER, BRUCE KLEINER, AND ASSAF NAOR Abstract. We prove a quantitative bi-Lipschitz nonembedding theorem for the Heisenberg group with its Carn

          COMPRESSION BOUNDS FOR LIPSCHITZ MAPS FROM THE HEISENBERG GROUP TO L1 JEFF CHEEGER, BRUCE KLEINER, AND ASSAF NAOR Abstract. We prove a quantitative bi-Lipschitz nonembedding theorem for the Heisenberg group with its Carn

          Add to Reading List

          Source URL: web.math.princeton.edu

          Language: English - Date: 2010-11-27 15:54:47
            56Risk Shifting and Excessive Trade Volatility Assaf Razin1 and Anuk Serechetapongse2 Rough Draft May 2014

            Risk Shifting and Excessive Trade Volatility Assaf Razin1 and Anuk Serechetapongse2 Rough Draft May 2014

            Add to Reading List

            Source URL: abfer.org

            Language: English - Date: 2014-04-14 23:14:11
              57. Risk Shifting and Excessive Trade Volatility . by Assaf Razin and Anuk Serechetapongse

              . Risk Shifting and Excessive Trade Volatility . by Assaf Razin and Anuk Serechetapongse

              Add to Reading List

              Source URL: abfer.org

              Language: English - Date: 2014-05-28 21:42:38
                58Antoine-Joseph Assaf Faut-il avoir peur de l’avenir ? Assassinat d’otages, menace terroriste, engagement « djihadiste » de

                Antoine-Joseph Assaf Faut-il avoir peur de l’avenir ? Assassinat d’otages, menace terroriste, engagement « djihadiste » de

                Add to Reading List

                Source URL: www.eyrolles.com

                Language: French - Date: 2015-05-12 09:31:42
                  59Climate-Resilient Development – Water Sector in the MENA Region Hamed Assaf American University of Sharjah European Climate Change Adaptation (ECCAConference, Hamburg (18th – 20th) March 2013.

                  Climate-Resilient Development – Water Sector in the MENA Region Hamed Assaf American University of Sharjah European Climate Change Adaptation (ECCAConference, Hamburg (18th – 20th) March 2013.

                  Add to Reading List

                  Source URL: eccaconf.eu

                  Language: English - Date: 2013-05-29 08:41:18
                    60Embedding logics in the λΠ-calculus modulo rewriting Ali Assaf Inria Paris-Rocquencourt (Deducteam) Ecole polytechnique

                    Embedding logics in the λΠ-calculus modulo rewriting Ali Assaf Inria Paris-Rocquencourt (Deducteam) Ecole polytechnique

                    Add to Reading List

                    Source URL: who.rocq.inria.fr

                    Language: English - Date: 2015-01-08 08:10:54