calculus

Results: 11790



#Item
201

Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Computation Models

Add to Reading List

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

- Date: 2016-03-28 02:24:38
    202

    On Boundedness in Depth in the π-Calculus⋆ Roland Meyer University of Oldenburg Abstract. We investigate the class PBD of π-Calculus processes that are bounded in the function

    Add to Reading List

    Source URL: concurrency.cs.uni-kl.de

    - Date: 2016-02-22 03:32:16
      203

      Downloaded from orbit.dtu.dk on: Dec 16, 2016 Formalization of the Resolution Calculus for First-Order Logic Schlichtkrull, Anders Published in:

      Add to Reading List

      Source URL: orbit.dtu.dk

      - Date: 2016-09-29 07:15:35
        204

        The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping Alexandre Miquel1 INRIA Rocquencourt – Projet LogiCal BP 105, Le Chesnay cedex, France

        Add to Reading List

        Source URL: www.fing.edu.uy

        - Date: 2015-05-12 11:26:49
          205

          Hopf link and Instanton Calculus Amer Iqbal LUMS (work in progress)

          Add to Reading List

          Source URL: media.scgp.stonybrook.edu

          - Date: 2015-06-03 10:43:57
            206

            Lecture Notes on Sequent Calculus: Modal Logic Frank Pfenning Lecture 8 February 9, 2010

            Add to Reading List

            Source URL: www.cs.cmu.edu

            - Date: 2010-02-11 11:26:12
              207

              Proving Computational Soundness of the Applied Pi-Calculus without Using Computable Parsing Hubert Comon-Lundh Masami Hagiya

              Add to Reading List

              Source URL: www.cs.bham.ac.uk

              - Date: 2014-09-13 07:14:28
                208

                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-10-19 12:38:16
                  209

                  ON ANALYTICITY IN DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoSCoS generalises the s

                  Add to Reading List

                  Source URL: cs.bath.ac.uk

                  - Date: 2016-12-16 05:02:50
                    210

                    ‫הסדרים‪ ‬השונים‪ ‬ב‪ λ­calculus ‬‬ ‫את‪ ‬כל‪ ‬הסדרים‪ ‬השונים‪ ‬ניתן‪ ‬לתאר‪ ‬כ‪ Operational Semantics ‬על‪ ‬בס

                    Add to Reading List

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

                    - Date: 2016-04-05 07:31:12
                      UPDATE