Assaf

Results: 161



#Item
51

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
    52

    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
      53

      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
        54

        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
          55

          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
            56

            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

              Add to Reading List

              Source URL: abfer.org

              Language: English - Date: 2014-05-28 21:42:38
                58

                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
                  59

                  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
                    60

                    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
                      UPDATE