Eades

Results: 72



#Item
1

Hereditary Substitution for the λ∆-Calculus Harley Eades and Aaron Stump Computer Science CL&C 2012 Overview

Add to Reading List

Source URL: metatheorem.org

Language: English - Date: 2018-08-16 11:42:55
    2

    Using the Hereditary Substitution Function in Normalization Proofs Harley Eades and Aaron Stump Computer Science The University of Iowa

    Add to Reading List

    Source URL: metatheorem.org

    Language: English - Date: 2018-08-16 11:42:56
      3

      Exploring the Reach of Hereditary Substitution Harley Eades and Aaron Stump Computer Science The University of Iowa TYPES 2011

      Add to Reading List

      Source URL: metatheorem.org

      Language: English - Date: 2018-08-16 11:42:55
        4

        On Linear Modalities for Exchange, Weakening, and Contraction Harley Eades III and Jiaming Jiang Computer Science, Augusta University Computer Science, North Carolina State University Introduction. In 1987 Girard introdu

        Add to Reading List

        Source URL: metatheorem.org

        Language: English - Date: 2018-08-14 14:33:44
          5

          Introducing a New Project on The Combination of Substructural Logics and Dependent Type Theory Harley Eades III Computer Science, Augusta University Introduction. Over the course of the last thirty years interactive proo

          Add to Reading List

          Source URL: metatheorem.org

          Language: English - Date: 2018-08-14 14:33:44
            6

            Explaining Type Errors Brent A. Yorgey Richard A. Eisenberg Harley D. Eades III

            Add to Reading List

            Source URL: metatheorem.org

            Language: English - Date: 2018-08-14 14:33:44
              7

              On the categorical structure of bi-intuitionistic logics Harley Eades Computer Science Sunday, October 27, 13

              Add to Reading List

              Source URL: metatheorem.org

              Language: English - Date: 2018-08-14 14:33:44
                8

                Explaining Type Errors Brent A. Yorgey Richard A. Eisenberg Harley D. Eades III

                Add to Reading List

                Source URL: ozark.hendrix.edu

                Language: English - Date: 2018-08-06 12:25:57
                  9

                  The Antiproton and How It Was Discovered John Eades University of Tokyo Abstract. The antiproton celebrates its 50th birthday this year. Although its existence had been suspected since the discovery of the positron in 19

                  Add to Reading List

                  Source URL: extras.springer.com

                    10

                    Peter Bull Open Meet - November 19th / 20th 2016 Girls 9yrs Swimmer Rosie Eades Event

                    Add to Reading List

                    Source URL: altonswimmingclub.com

                    - Date: 2016-11-29 13:51:53
                      UPDATE