Lambda

Results: 2778



#Item
681

Very Elementary domain theory The Origins of the subject via Lambda calculus - We see a lot of domain theory in this workshop. It is rigorous work as it is mathematical.

Add to Reading List

Source URL: math-cs.ir

- Date: 2015-05-05 12:50:08
    682

    Nonzentrale und zentrale t-Verteilung mit df = 10 und lambda = 5 bzw. 0 nonzentral zentral f(x)

    Add to Reading List

    Source URL: bedienhaptik.files.wordpress.com

    - Date: 2014-06-06 14:30:28
      683

      Apologies Apologies Unfortunately we we cannot cannot provide provide the

      Add to Reading List

      Source URL: www.lambda-bb.de

      - Date: 2014-11-18 12:21:35
        684

        Microsoft Word - Fahrtkostenrichtlinie.docx

        Add to Reading List

        Source URL: www.lambda-online.de

        - Date: 2014-10-23 07:52:36
          685

          Conservativity of embeddings in the lambda-Pi calculus modulo rewriting Ali Assaf February 12, 2015 Abstract The lambda-Pi calculus can be extended with rewrite rules to embed

          Add to Reading List

          Source URL: who.rocq.inria.fr

          - Date: 2015-02-12 07:53:44
            686

            A Terminating and Confluent Linear Lambda Calculus Yo Ohta and Masahito Hasegawa Research Institute for Mathematical Sciences, Kyoto University Kyoto, Japan

            Add to Reading List

            Source URL: www.kurims.kyoto-u.ac.jp

            - Date: 2006-08-03 23:37:52
              687

              Lambda: the ultimate syntax-semantics interface? Oleg Kiselyov1 and Chung-chieh Shan2 1 2

              Add to Reading List

              Source URL: okmij.org

              - Date: 2013-05-08 23:40:10
                688

                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: who.rocq.inria.fr

                - Date: 2011-01-28 11:35:46
                  689

                  Mem A M ultilingual environment for Lamedh/Lambda Javier Bezos-L´opez October 19, 2004 Note: This is a draft. Don’t expect all things explained here will work, but many of them work!

                  Add to Reading List

                  Source URL: ctan.sciserv.eu

                  Language: English - Date: 2004-10-19 04:39:06
                    690

                    BRICS RS-06-5 K. Støvring: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative BRICS Basic Research in Computer Science

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2006-03-06 18:15:31
                      UPDATE