Lambda calculus

Results: 1452



#Item
1Remarks on Krivine’s ”Lambda-calculus, types and models”, Chapter 1, §2 Darij Grinberg, 5 JuneIntroduction The point of this note is to 1) add some lemmata to Chapter 1 §2 of [1] (lemmata that are used i

Remarks on Krivine’s ”Lambda-calculus, types and models”, Chapter 1, §2 Darij Grinberg, 5 JuneIntroduction The point of this note is to 1) add some lemmata to Chapter 1 §2 of [1] (lemmata that are used i

Add to Reading List

Source URL: www.cip.ifi.lmu.de

Language: English - Date: 2011-06-17 10:04:34
    2Linear numeral systems Ian Mackie Abstract We investigate numeral systems in the lambda calculus; specifically in the linear lambda calculus where terms cannot be copied or erased. Our interest is threefold: representing

    Linear numeral systems Ian Mackie Abstract We investigate numeral systems in the lambda calculus; specifically in the linear lambda calculus where terms cannot be copied or erased. Our interest is threefold: representing

    Add to Reading List

    Source URL: www.ianmackie.com

    Language: English - Date: 2018-07-24 04:05:05
      3Variable-free Formalization of the Curry-Howard Theory W. W. Tait The reduction of the lambda calculus to the theory of combinators in [Sch¨onfinkel, 1924] applies to positive implicational logic, i.e. to the typed lam

      Variable-free Formalization of the Curry-Howard Theory W. W. Tait The reduction of the lambda calculus to the theory of combinators in [Sch¨onfinkel, 1924] applies to positive implicational logic, i.e. to the typed lam

      Add to Reading List

      Source URL: home.uchicago.edu

      Language: English - Date: 2003-08-18 10:30:23
        4Deriving Interpretations of the Gradually-Typed Lambda Calculus Álvaro García-Pérez Pablo Nogueira

        Deriving Interpretations of the Gradually-Typed Lambda Calculus Álvaro García-Pérez Pablo Nogueira

        Add to Reading List

        Source URL: babel.ls.fi.upm.es

        - Date: 2016-05-31 08:02:48
          5A Standard Theory for the Pure Lambda-Value Calculus Álvaro García-Pérez Pablo Nogueira

          A Standard Theory for the Pure Lambda-Value Calculus Álvaro García-Pérez Pablo Nogueira

          Add to Reading List

          Source URL: babel.ls.fi.upm.es

          - Date: 2016-05-31 07:48:41
            63. 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

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

              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-12-07 03:56:32
                8Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Computation Models

                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:27:38
                  9Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Computation Models

                  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
                    10Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Benjamin Pierce Types and Programming Languages

                    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