استشهادات التسجيلة

توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

(1997). Typed lambda calculi and applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.).

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : Proceedings / Philippe De Groote, J. Roger Hindley (eds.). 1997.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.