Waitrose

Results: 169



#Item
51ERRATA in “Basic Simple Type Theory” Cambridge University Press 1997, J. Roger Hindley, December 2012 This list includes the list printed on p.xii of the 2008 paperback reprint of

ERRATA in “Basic Simple Type Theory” Cambridge University Press 1997, J. Roger Hindley, December 2012 This list includes the list printed on p.xii of the 2008 paperback reprint of

Add to Reading List

Source URL: www.users.waitrose.com

Language: English - Date: 2015-03-04 15:52:54
    52Theoretical Computer Science ELSEVIER Theoretical

    Theoretical Computer Science ELSEVIER Theoretical

    Add to Reading List

    Source URL: www.users.waitrose.com

    Language: English - Date: 2012-07-25 04:39:51
      53ERRATA in “Lambda-calculus and Combinators, an Introduction” 2008 edition, Cambridge University Press, J. Roger Hindley, Jonathan P. Seldin,

      ERRATA in “Lambda-calculus and Combinators, an Introduction” 2008 edition, Cambridge University Press, J. Roger Hindley, Jonathan P. Seldin,

      Add to Reading List

      Source URL: www.users.waitrose.com

      Language: English - Date: 2015-03-04 15:52:37
        54S1 G¨ odel’s Consistency-Proof for Arithmetic by J. R. Hindley, 3 December 2011.

        S1 G¨ odel’s Consistency-Proof for Arithmetic by J. R. Hindley, 3 December 2011.

        Add to Reading List

        Source URL: www.users.waitrose.com

        Language: English - Date: 2011-12-06 16:13:10
          55Theoretical ComputerScience ELSEVIER Theoretical Computer Science266

          Theoretical ComputerScience ELSEVIER Theoretical Computer Science266

          Add to Reading List

          Source URL: www.users.waitrose.com

          Language: English - Date: 2012-07-25 05:12:41
            56Curry’s Last Problem: Imitating λ-β-reduction in Combinatory Logic J. Roger Hindley, Mathematics Department, Swansea University, Swansea SA2 8PP, U.K. Email: From talks at Mathematical Logic

            Curry’s Last Problem: Imitating λ-β-reduction in Combinatory Logic J. Roger Hindley, Mathematics Department, Swansea University, Swansea SA2 8PP, U.K. Email: From talks at Mathematical Logic

            Add to Reading List

            Source URL: www.users.waitrose.com

            Language: English - Date: 2010-01-12 06:53:33
              57The Root-2 Proof as an Example of Non-constructivity J. Roger Hindley. E-mail: March 2015 §1. The following neat proof is well known to mathematicians and is often

              The Root-2 Proof as an Example of Non-constructivity J. Roger Hindley. E-mail: March 2015 §1. The following neat proof is well known to mathematicians and is often

              Add to Reading List

              Source URL: www.users.waitrose.com

              Language: English - Date: 2015-09-03 12:57:11
                58Profitero Customer Success Story - Waitrose - new logo

                Profitero Customer Success Story - Waitrose - new logo

                Add to Reading List

                Source URL: www.profitero.com

                Language: English - Date: 2015-09-28 13:31:41
                  59Lambda-calculus and Combinators in the 20th Century ∗ Felice Cardone †, J. Roger Hindley

                  Lambda-calculus and Combinators in the 20th Century ∗ Felice Cardone †, J. Roger Hindley

                  Add to Reading List

                  Source URL: www.users.waitrose.com

                  Language: English - Date: 2009-06-20 06:40:09
                    60Microsoft Word - Basis of Reporting MASTER 7 FINAL.docx

                    Microsoft Word - Basis of Reporting MASTER 7 FINAL.docx

                    Add to Reading List

                    Source URL: www.johnlewispartnership.co.uk

                    Language: English - Date: 2015-04-24 06:43:28