Typability in partial applicative structures
From MaRDI portal
Publication:548702
DOI10.1007/s10849-010-9124-7zbMath1231.03011MaRDI QIDQ548702
Publication date: 30 June 2011
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-010-9124-7
03B65: Logic of natural languages
03G25: Other algebras related to logic
03B40: Combinatory logic and lambda calculus
Cites Work