Jakub Kozic

Identifiers

• name variant Jakub Kozic 0.60 · backfill

Papers (1)

1. Asymptotically almost all \lambda-terms are strongly normalizing math.LO · 2009 · author #3

Mentions

• 0903.5505 #3 · backfill · confidence 0.70 Jakub Kozic

Frequent Coauthors

• Christophe Raffalli (LAMA) 1 shared papers
• Guillaume Theyssier (LAMA) 1 shared papers
• Katarzyna Grygiel 1 shared papers
• Marek Zaionc 1 shared papers
• Ren\'e David (LAMA) 1 shared papers