01442nam--2200397---45--9900003754202033163-540-41517-30037542USA010037542(ALEPH)000037542USA01003754220010327d2000----km-y0ITAy0103-------baENGDETypes for proofs and programsInternational workshop, TYPES'99Lokeberg, Sweden, June 12-16, 1999selected papersThierry Coquand ... [et al.] (eds.)BerlinSpringer-Verlagcopyr. 2000193 p.ill.20 cm.Lecture notes in computer science19562001Lecture notes in computer science1956Logica matematicaCongressi1999Elaboratori elettroniciProgrammazioneCongressi1999Elaboratori elettroniciCongressi1999CongressiLokeberg1999Coquand,ThierryInternatinal workshop, TYPES'99 <1999 ; Lokeberg, Sweden>543993ITACBSISBD990000375420203316001 LNCS (1956)0026035 CBS00100104426BKSCIALANDI9020010327USA011045ALANDI9020010518USA01113520020403USA011645PATRY9020040406USA011626Types for proofs and programs875306UNISA