calculus

Results: 11790



#Item
221

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects∗ Atsushi Ohori1,2 , Katsuhiro Ueno1,2 , Tomohiro Sasaki1,2 , and Daisuke Kikuchi1,3 1

Add to Reading List

Source URL: www.pllab.riec.tohoku.ac.jp

- Date: 2016-05-25 03:18:59
    222

    ‫הסדרים השונים ב ‪λ-calculus‬‬ ‫את כל הסדרים השונים ניתן לתאר כ ‪ Operational Semantics‬על בסיס הכללים הבאים‪:‬‬ ‫כל סדר מוגדר ע"י

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2016-12-07 03:30:50
      223

      A Calculus for Orchestration of Web Services ? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze Abstract. We introduce COWS (Calculus for

      Add to Reading List

      Source URL: rap.dsi.unifi.it

      - Date: 2006-12-29 04:22:14
        224

        CWS: A timed service-oriented calculus? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze {lapadula,pugliese,tiezzi}@dsi.unifi.it Abstra

        Add to Reading List

        Source URL: rap.dsi.unifi.it

        - Date: 2007-06-28 09:44:15
          225

          28 JuneNon-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨

          Add to Reading List

          Source URL: www.ki.inf.tu-dresden.de

          - Date: 2005-09-20 10:33:34
            226

            Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

            Add to Reading List

            Source URL: www.lix.polytechnique.fr

            - Date: 2015-11-06 10:54:47
              227

              Concepts in Programming Languages – Recitation 5: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2015-05-06 11:36:06
                228

                Concepts in Programming Languages – Recitation 5: More (Untyped) Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2016-04-06 11:51:26
                  229

                  Model-Constructing Satisfiability Calculus A Model-Based Approach to SMT Dejan Jovanović SRI International

                  Add to Reading List

                  Source URL: www.cs.nyu.edu

                  - Date: 2015-07-16 01:29:46
                    230

                    Dag-Calculus: A Calculus for Parallel Computation Umut A. Acar Arthur Chargu´eraud Mike Rainey

                    Add to Reading List

                    Source URL: www.chargueraud.org

                    - Date: 2016-12-05 09:43:01
                      UPDATE