### 13 papers:

- CSL-2013-ChatterjeeF #game studies #infinity
- Infinite-state games with finitary conditions (KC, NF), pp. 181–196.
- LATA-2011-ChatterjeeF
- Finitary Languages (KC, NF), pp. 216–226.
- ICGT-2010-BraatzEGG #category theory
- Finitary M-Adhesive Categories (BB, HE, KG, UG), pp. 234–249.
- ICLP-J-2010-BaseliceB #decidability #source code #subclass
- A decidable subclass of finitary programs (SB, PAB), pp. 481–496.
- ESOP-2007-DengGMZ #probability #testing
- Scalar Outcomes Suffice for Finitary Probabilistic Testing (YD, RJvG, CM, CZ), pp. 363–378.
- TACAS-2007-Horn #algorithm #game studies #performance
- Faster Algorithms for Finitary Games (FH), pp. 472–484.
- TLCA-2007-FaggianP #linear #π-calculus
- Ludics is a Model for the Finitary Linear π-Calculus (CF, MP), pp. 148–162.
- TACAS-2006-ChatterjeeH #game studies
- Finitary Winning in ω-Regular Games (KC, TAH), pp. 257–271.
- CIAA-2005-VielhaberC #infinity #on the #set #transducer
- On a Class of Bijective Binary Transducers with Finitary Description Despite Infinite State Set (MV, MdPCC), pp. 356–357.
- TLCA-2001-AltenkirchC #polymorphism #λ-calculus
- A Finitary Subsystem of the Polymorphic λ-Calculus (TA, TC), pp. 22–28.
- DLT-1995-Nitsche #linear #logic #semantics
- A Finitary-Language Semantics for Propositional Linear Temporal Logic (UN), pp. 482–489.
- LICS-1994-AlurH
- Finitary Fairness (RA, TAH), pp. 52–61.
- LICS-1986-AmadioBL #equation #higher-order #λ-calculus
- The Finitary Projection Model for Second Order λ Calculus and Solutions to Higher Order Domain Equations (RMA, KBB, GL), pp. 122–130.