LCCST

International Symposium on Lambda-Calculus and Computer Science Theory

Search within this conference

Search

1. 1975

   LCCST 1975

   • 25-27 March
   • Rome, Italy

   • λ-Calculus and Computer Science Theory

     23 Papers

     1 Volume