See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/221150148 A Self-dependency Constraint in the Simply Typed Lambda Calculus Conference Paper in Lecture Notes in Computer Science · August 2005 DOI: 10.1007/11537311_31 · Source: DBLP CITATION 1 READS 14 1 author: Some of the authors of this publication are also working on these related projects: HAHA Hoare logic teaching assistant View project Intuition View project Aleksy Schubert University of Warsaw 50 PUBLICATIONS 157 CITATIONS SEE PROFILE All content following this page was uploaded by Aleksy Schubert on 12 December 2016. The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document and are linked to publications on ResearchGate, letting you access and read them immediately.