On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems
From MaRDI portal
Publication:1164619
DOI10.1016/0304-3975(81)90086-4zbMath0486.03011MaRDI QIDQ1164619
Publication date: 1981
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(81)90086-4
typed lambda calculus; decidable unification problems; polynomial time decidable; types of expressions
DB lookup for MSC labels failed
Related Items