Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by DAN DOUGHERTY
Reductions, Intersection Types, and Explicit Substitutions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
Cut Rules and Explicit Substitutions
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Higher-Order Unification via Explicit Substitutions
Intersection Types and Bounded Polymorphism
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
On Isomorphisms of Intersection Types
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Confluence Properties of Weak and Strong Calculi of Explicit Substitutions
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
Strict Intersection Types for the Lambda Calculus
ACM Computing Surveys
Computer Science
Theoretical Computer Science
System E: Expansion Variables for Flexible Typing With Linear and Non-Linear Types and Intersection Types
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science