01526nam2-2200421li-450 99000021110020331620180312154717.03-540-60579-70021110USA010021110(ALEPH)000021110USA01002111020001109d1995----km-y0itay0103----baengGWTypes for proofs and programsInternational workshop TYPES '94 :Båstad, Sweden, June 6-10, 1994selected papersPeter Dybjer ... [etc.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995X, 202 p.ill.25 cmLecture notes in computer science99600100202642001Lecture notes in computer sciencecongressibastad1994linguaggi di programmazionecongressi1994logica matematicacongressi199451130285elaborazione dei dati applicazione dell'elaborat.Dybjer,PeterInternational workshop TYPES'94Bastad1994746766Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211100203316001 LNCS (996)002033000100103800BKSCI1997112420001110USA011714ALANDI9020010201USA01090920020403USA011629PATRY9020040406USA011615Types for proofs and programs1490920UNISA