Typability in Partial Applicative Structures

Inge Bethke, Piet Rodenburg. Typability in Partial Applicative Structures. Journal of Logic, Language and Information, 20(2):161-168, 2011. [doi]

Abstract

Abstract is missing.