Contributions de Jkozik

9 décembre 2008

• 12:199 décembre 2008 à 12:19 diff hist +144‎ Lambda counting ‎ →‎Introduction

18 novembre 2008

• 14:1418 novembre 2008 à 14:14 diff hist +160‎ Lambda counting ‎ →‎Random lambda terms are strongly normalizable
• 12:4818 novembre 2008 à 12:48 diff hist +124‎ Lambda counting ‎ →‎Random lambda terms are strongly normalizable
• 12:4218 novembre 2008 à 12:42 diff hist +54‎ Lambda counting ‎ →‎Jakub's trik : at least 1 lambda in head position

28 octobre 2008

• 14:5628 octobre 2008 à 14:56 diff hist +1 144‎ Lambda counting ‎ →‎upper and lower bounds for number of lambdas in a term of size n
• 14:1928 octobre 2008 à 14:19 diff hist +755‎ Lambda counting ‎ →‎upper and lower bounds for number of lambdas in a term of size n