Typability in partial applicative structures

DOI10.1007/S10849-010-9124-7MaRDI QIDQ548702zbMATH OpenOpenAlexFDO

Authors Inge Bethke, P. H. Rodenburg

Publication date 30 June 2011

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s10849-010-9124-7

zbMATH Keywords

typabilitypartial applicative structures

Mathematics Subject Classification ID

Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40) Other algebras related to logic (03G25)

Cites work

• scientific article; zbMATH DE number 3095474 (Why is no real title available?)
• Extending partial combinatory algebras
• M. H. Newman's Typability Algorithm for Lambda-calculus
• Partial algebras, meaning categories and algebraization

Cited in

(1)

• scientific article; zbMATH DE number 177846 (Why is no real title available?)

This page was built for publication: Typability in partial applicative structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q548702)