calculus

Results: 11790



#Item
211

Bulletin of the Section of Logic Volume 38:), pp. 5–11 George Metcalfe A SEQUENT CALCULUS FOR CONSTRUCTIVE LOGIC

Add to Reading List

Source URL: www.filozof.uni.lodz.pl

- Date: 2013-11-13 07:57:58
    212

    Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Benjamin Pierce Types and Programming Languages

    Add to Reading List

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

    - Date: 2016-12-09 07:15:11
      213

      Concepts in Programming Languages – Recitation 4: 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-03-31 11:10:54
        214

        Namespace logic: A logic for a reflective higher-order calculus L.G. Meredith1 and Matthias Radestock2 1 CTO, Djinnisys Corporation 505 N72nd St, Seattle, WA 98103, USA,

        Add to Reading List

        Source URL: www.lshift.net

        - Date: 2014-09-16 06:39:35
          215

          Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

          Add to Reading List

          Source URL: i12www.iti.kit.edu

          - Date: 2009-01-05 04:34:04
            216

            A Calculus for Variational Programming∗ Sheng Chen1 , Martin Erwig2 , and Eric Walkingshaw3 1 University of Louisiana at Lafayette

            Add to Reading List

            Source URL: drops.dagstuhl.de

            - Date: 2016-07-18 08:01:47
              217

              Concepts in Programming Languages – Recitation 4: 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-12-19 08:55:21
                218

                From natural numbers to the lambda calculus Benedikt Ahrens joint work with Ralph Matthes and Anders Mörtberg Outline

                Add to Reading List

                Source URL: www.math.ias.edu

                - Date: 2016-07-28 14:23:13
                  219

                  Discrete Calculus Brian Hamrick 1 Introduction

                  Add to Reading List

                  Source URL: homepages.math.uic.edu

                  - Date: 2007-11-28 22:33:32
                    UPDATE