01876nam0 22003373i 450 AQ1000712620240906062525.00387580859New York3540580859Berlin20111216d1994 ||||0itac50 baengdez01i xxxe z01nTypes for proofs and programsInternational workshop TYPES '93Nijmegen, The Netherlands, May 24-28, 1993selected papersHenk Barendregt, Tobias Nipkow (eds.)Berlin [etc.]Springerc1994383 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis806001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis806Elaboratori elettroniciProgrammazioneCongressi1993FIRNAPC242171I005.1015113Programmazione. Principi matematici. Logica matematica (Logica simbolica)22Barendregt, HenkAQ1V003725Nipkow, Tobias <1958- >AQ1V003726International Workshop TYPES <1. ; 1993 ; Nimega>AQ1V003724070714630ITIT-NA007920111216IT-BN0095 AQ10007126Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000023555 B A4806 v. 8063 1996030120111216 01Types for proofs and programs1381968UNISANNIO