Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thérèse Hardin
Confluence Properties of Weak and Strong Calculi of Explicit Substitutions
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
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
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
Higher-Order Unification via Explicit Substitutions
Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Weak Derandomization of Weak Algorithms: Explicit Versions of Yao's Lemma
Weak and Strong Synchronization of Chaos
Physical Review E
Weak Side of Strong Topological Insulators
Physical Review B
Optical
Electronic
Condensed Matter Physics
Magnetic Materials
