Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedingsсборник

Статьи, опубликованные в сборнике

---

• 
  • 2007 Preface
  • Nerode A., Artemov S.
  • в сборнике Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 4514, тезисы, с. v
  • редактор Артемов Сергей Николаевич
• 
  • 2007 The intensional lambda calculus
  • Artemov Sergei, Bonelli Eduardo
  • в сборнике Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 4514, тезисы, с. 12-25 DOI
  • редактор Артемов Сергей Николаевич