calculus

Results: 11790



#Item
231

A Calculus for Orchestration of Web Services ? May 25, 2008 Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze {lapadula,pugliese,tiezzi}@d

Add to Reading List

Source URL: rap.dsi.unifi.it

- Date: 2008-05-25 12:32:31
    232

    Resolution in the Calculus of Structures

    Add to Reading List

    Source URL: cs.bath.ac.uk

    - Date: 2007-12-18 10:37:38
      233

      Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework Lo¨ıc Paulev´e, Morgan Magnin, and Olivier Roux IRCCyN, UMR CNRS 6597, ´ Ecole

      Add to Reading List

      Source URL: loicpauleve.name

      - Date: 2014-05-28 10:23:25
        234

        Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        - Date: 2016-01-18 11:51:05
          235

          Notions of computation and monads Eugenio Moggi∗ Abstract The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λ-terms. However, if one

          Add to Reading List

          Source URL: core.ac.uk

          - Date: 2014-10-31 12:11:04
            236

            Introduction to ML Mooly Sagiv Cornell CS 3110 Data Structures and Functional Programming Typed Lambda Calculus

            Add to Reading List

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

            - Date: 2016-12-09 12:39:44
              237

              Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus Niels Bjørn Bugge Grathwohl1 , Jeroen Ketema2 , Jens Duelund Pallesen1 , and Jakob Grue Simonsen1 1

              Add to Reading List

              Source URL: drops.dagstuhl.de

              - Date: 2011-04-26 05:41:56
                238

                The λµT-calculus Herman Geuvers1,2 , Robbert Krebbers1 and James McKinna1 1 2

                Add to Reading List

                Source URL: robbertkrebbers.nl

                - Date: 2012-07-08 18:52:12
                  239

                  Math 23A (Online) Vector Calculus University of California Santa Cruz Instructors and Course Creators

                  Add to Reading List

                  Source URL: summer.ucsc.edu

                  - Date: 2016-07-06 14:23:05
                    240

                    TAKE-HOME CLASS QUIZ: DUE WEDNESDAY NOVEMBER 20: IMAGE AND KERNEL: APPLICATIONS TO CALCULUS MATH 196, SECTION 57 (VIPUL NAIK) Your name (print clearly in capital letters): PLEASE FEEL FREE TO DISCUSS ALL QUESTIONS.

                    Add to Reading List

                    Source URL: files.vipulnaik.com

                    - Date: 2016-08-13 11:33:29
                      UPDATE