Typed lambda calculi and applications. Third international conference on typed lambda calculi and applications, TLCA '97, Nancy, France, April 2--4, 1997. Proceedings.
From MaRDI portal
Publication:1880410
DOI10.1007/3-540-62688-3zbMATH Open1045.03501OpenAlexW3144135223MaRDI QIDQ1880410
Author name not available (Why is that?)
Publication date: 27 September 2004
Published in: (Search for Journal in Brave)
Full work available at URL: http://springerlink.com/link.asp?id=105633
No records found.
This page was built for publication: Typed lambda calculi and applications. Third international conference on typed lambda calculi and applications, TLCA '97, Nancy, France, April 2--4, 1997. Proceedings.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1880410)
