Types for proofs and programs : International workshop types'93 : Nijmegen , The Netherlands, May 24-28, 1993 / Henk Barendregt (ed.)

• Record Nr.: UNISA990000211760203316
• Autore: International workshop TYPES'93 : 1993
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1994
• ISBN: 3-540-58085-9
• Descrizione fisica: 383 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 806
• Disciplina: 005131
• Collocazione: 001 LNCS (806)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia