01560nam2-2200433li-450 99000021176020331620180312154641.03-540-58085-90021176USA010021176(ALEPH)000021176USA01002117620001109d1994----km-y0itay0103----baengGWTypes for proofs and programsInternational workshop types'93Nijmegen , The Netherlands, May 24-28, 1993Henk Barendregt (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994383 p.ill.24 cmLecture notes in computer science80600100202642001Lecture notes in computer sciencecongressinijmegen1993linguaggi di programmazionecongressi1993logica matematicacongressi1993sistemimodelli matematicicongressi1993005131Logica matematica (Logica simbolica)Barendregt,HenkInternational workshop TYPES'93Nijmegen1993746317Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211760203316001 LNCS (806)001633900100103124BKSCI1996013020001110USA011714ALANDI9020010130USA01153120020403USA011629PATRY9020040406USA011615Types for proofs and programs1489443UNISA