Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, ... 1258 (Lecture Notes in Computer Science)
by Marc Bezem,Dirk van Dalen
ISBN 13: 9783540631729
Format: Paperback (488 pages) Publisher: Springer Published: 18 Jun 1997
Save for later
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... (Lecture Notes in Computer Science)
by Jan F. Groote,Marc Bezem
ISBN 13: 9783540565178
Format: Paperback (452 pages) Publisher: Springer Published: 13 Jun 2008