Lambda

Results: 2778



#Item
21

【Grant‐in‐Aid for Scientific Research on Innovative Areas(Research in a proposed research area)】 Science and Engineering Title of Project：Nuclear Matter in Neutron Stars Investigated by Experiments and Astrono

Add to Reading List

Source URL: lambda.phys.tohoku.ac.jp

Language: English - Date: 2013-09-04 05:44:20
    22

    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
      23

      Serverless Node.js Webanwendungen mit AWS Lambda entwickeln Oliver Gutperl Über mich

      Add to Reading List

      Source URL: www.digital-sailors.de

      Language: German - Date: 2018-06-27 10:52:51
        24

        PDF Document

        Add to Reading List

        Source URL: lambda.phys.tohoku.ac.jp

        Language: Japanese - Date: 2017-07-09 01:23:49
          25

          計画研究 B02「中性子過剰な中低密度核物質の物性」H28 年度の活動報告 本計画研究では、理研 RIBF で得られる高強度の 不安定核ビームを用いた実験によって、中性

          Add to Reading List

          Source URL: lambda.phys.tohoku.ac.jp

          Language: Japanese - Date: 2017-07-14 07:50:06
            26

            PDF Document

            Add to Reading List

            Source URL: lambda.phys.tohoku.ac.jp

            Language: Japanese - Date: 2017-06-30 05:46:04
              27

              PDF Document

              Add to Reading List

              Source URL: lambda.phys.tohoku.ac.jp

              Language: Japanese - Date: 2014-01-23 20:38:38
                28

                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
                  29

                  Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991

                  Add to Reading List

                  Source URL: repository.readscheme.org

                  Language: English - Date: 2010-10-22 08:05:12
                    30

                    PowerPoint プレゼンテーション

                    Add to Reading List

                    Source URL: lambda.phys.tohoku.ac.jp

                    Language: Japanese - Date: 2017-07-11 03:46:46
                      UPDATE