On polymorphic types of untyped terms
From MaRDI portal
Publication:2453585
DOI10.1016/j.jcss.2014.04.008zbMath1311.03031MaRDI QIDQ2453585
Publication date: 10 June 2014
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2014.04.008
03B40: Combinatory logic and lambda calculus
Cites Work