A decidable theory of type assignment
From MaRDI portal
Publication:365669
DOI10.1007/s00153-013-0335-xzbMath1303.03036MaRDI QIDQ365669
Publication date: 9 September 2013
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-013-0335-x
lambda calculus; type reconstruction; primitive recursive functionals; reduction sequences; typability; type assignment; type checking
Uses Software