calculus

Results: 11790



#Item
171

OOlong: An Extensible Concurrent Object Calculus Elias Castegren Tobias Wrigstad

Add to Reading List

Source URL: eliasc.github.io

- Date: 2018-01-18 03:59:55
    172

    Calculus INT Calculus INT Value Types A, B ::= types of the low-level language Interactive Types X, Y ::= [A] | A → X | X ( Y | A · X | X ⊗ Y | ∀α C A. X | ∃α C A. X

    Add to Reading List

    Source URL: www2.tcs.ifi.lmu.de

      173

      Chern-Simons theory The C-S partition function Feynman calculus gives a perturbation expansion of Z near the flat connections in 1/k. The interaction

      Add to Reading List

      Source URL: www.math.uni-hamburg.de

      - Date: 2017-07-19 18:27:44
        174

        Polymorphic Type Inference for the Named Nested Relational Calculus Jan Van den Bussche and Stijn Vansummeren∗ Abstract The named nested relational calculus is the canonical query language for the complex object databa

        Add to Reading List

        Source URL: alpha.uhasselt.be

        - Date: 2006-02-27 07:12:37
          175

          3. Type Systems We will consider the problem of type assignment and type checking for the object calculus. Just as we have type-free and typed lambda calculus, so we also have type-free and typed

          Add to Reading List

          Source URL: www.nada.kth.se

          - Date: 2007-05-22 07:13:48
            176

            Putting Differentials Back into Calculus Tevian Dray and Corinne A. Manogue doi:074683410X480195 Tevian Dray () received his B.S. in mathematics from MIT in 1976, his Ph.D. in

            Add to Reading List

            Source URL: math.oregonstate.edu

            - Date: 2010-03-04 14:29:51
              177

              Exploring Calculus Applications via Web Based Demos

              Add to Reading List

              Source URL: mathdemos.org

              - Date: 2010-06-28 14:17:51
                178

                A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results Tommaso Di Noia (1), Eugenio Di Sciascio (1), Francesco M. DoniniSisInfLab, Politecnico di Bari, Bari, Italy (2) Univ

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2009-07-07 04:46:34
                  179

                  From a Calculus to an Execution Environment for Stream Processing Robert Soul´e Martin Hirzel

                  Add to Reading List

                  Source URL: www.cs.cornell.edu

                  - Date: 2012-05-30 21:42:49
                    180

                    Diagnostic Test in Algebra and Trigonometry This test comes in two parts. The first part tests whether or not you really know what your calculus instructor assumes you know. These are typical problems from courses in Alg

                    Add to Reading List

                    Source URL: www.math.utah.edu

                    - Date: 2003-07-23 21:04:28
                      UPDATE