×
  • Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

    Andrea Asperti

Click on cover to enlarge.
Buy This Book
From Amazon.
10 - 12Hours to read