opac, catalogo, online,servizi, biblioteca, sebina

Typed lambda calculi and applications : International conference on typed lambda calculi and applications TLCA '93 : March, 16-18, 1993, Utrecht, The Netherlands : proceedings

International conference on typed lambda calculi and applications <1. ; 1993 ; Utrecht>

Springer Publishing Company - 1993

  • Lo trovi in
  • Scheda
  • Unimarc
$currentBibFull

Scegli una biblioteca