Typed lambda calculi and applications.

  • Publisher: Springer-Verlag
  • Print ISSN:
  • Electronic ISSN:
  • OCLC Number: 41259882
  • Subject: Lambda calculus Congresses.
  • Subject code: QA
  • Publication history: Mar. 16-18, 1993-

Print Holdings

Archiving Institution Program Holdings Description Retention
HathiTrust (HATHI) HTDL 1993; 1995; 1997; 1999; 2001; 2003; 2005 permanent