In the Search of a Naive Type Theory. - Agnieszka Kozubek; Pawel Urzyczyn (TYPES, 2007)