00862nam|a2200193 i 450000500170000000800410001702000150005803500150007305000200008811101020010824502470021024600120045726000300046930000110049944000490051065000320055970000420059170000350063320260819085403.0040920s1995    gw      r    0100|0 eng |  a354059048x  a.b1145813600aQA9.5bI58 19952 aInternational Conference on Typed Lambda Calculi and Applicationsn(2nd :d1995 :cEdinburgh, UK)10aTyped lambda calculi and applications :bsecond International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings /cMariangiola Dezani-Ciancaglini and Gordon Plotkin, eds.30aTLCA'95  aBerlin :bSpringer,c1995  a442 p. 0aLecture notes in computer science ;vno. 902 0aLambda calculusxcongresses2 aDezani-Ciancaglini, Mariangiola,eed.1 aPlotkin, Gordon,d1946- ,eed.