Showing 1 - 3 results of 3 for search 'Harley Eades', query time: 0.02s Refine Results
  1. 1
    Hereditary Substitution for the λΔ-Calculus

    Hereditary Substitution for the λΔ-Calculus by Harley Eades, Aaron Stump

    Published 2013-09-01
    Get full text
    Article
  2. 2
    Dualized Simple Type Theory

    Dualized Simple Type Theory by Harley Eades III, Aaron Stump, Ryan McCleeary

    Published 2017-04-01
    Get full text
    Article
  3. 3
    On the Lambek Calculus with an Exchange Modality

    On the Lambek Calculus with an Exchange Modality by Jiaming Jiang, Harley Eades III, Valeria de Paiva

    Published 2019-04-01
    Get full text
    Article

Search Tools: