http://www.e-pig.org/epilogue/?p=135 for Epigram Sun, 6 Nov 2011 09:25:45 +0000 http://wordpress.org/?v=2.8.4 hourly 1 http://www.e-pig.org/epilogue/?p=135&cpage=1#comment-8039 sebastian Tue, 21 Nov 2006 08:14:05 +0000 http://www.e-pig.org/epilogue/?p=135#comment-8039 When I recently tried to find out how I happened to write the same ap of the double negation Idiom twice by tracing identities with reflexity, I wondered how OTT's λ⁼ constructor might get along with implicit argument abstraction. When I recently tried to find out how I happened to write the same ap of the double negation Idiom twice by tracing identities with reflexity, I wondered how OTT’s λ⁼ constructor might get along with implicit argument abstraction.

]]>