Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Th�r�se Hardin
Eta-Conversion for the Languages of Explicit Substitutions
Applicable Algebra in Engineering, Communications and Computing
Applied Mathematics
Number Theory
Algebra
Eta-Conversion for the Languages of Explicit Substitutions
Applicable Algebra in Engineering, Communications and Computing
Applied Mathematics
Number Theory
Algebra
Related publications
An Explicit Eta Rewrite Rule
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cut Rules and Explicit Substitutions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Reductions, Intersection Types, and Explicit Substitutions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Higher-Order Unification via Explicit Substitutions
Confluence Properties of Weak and Strong Calculi of Explicit Substitutions
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
Brahmi-Net: A Transliteration and Script Conversion System for Languages of the Indian Subcontinent
Measurement of the Beam Asymmetry for the ETA and ETA Prime Mesons With the GlueX Experiment
A First Calculation of the Η' ↠ Π^{0}γγ And Η ↠ Ηγγ Decays