IMSc Library catalog › Details for: Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings

Normal view MARC view ISBD view

Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings

By: Girard, Jean-Yves EdMaterial type: Text

TextSeries: Lecture notes in computer science ; 01581Publication details: Berlin, New York : ; Springer ; 1999Description: 396ISBN: 3540657630Subject(s): Lambda calculus Congresses

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		52022

Previous
Previous	681 LNCS Security protocols: 6th international workshop, Cambridge, UK, April 15-17, 1998	681 LNCS Intelligent agents V : agent theories, architectures, and languages: 5th International Workshop, ATAL'98	681 LNCS Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings	681 LNCS Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings	681 LNCS Logical aspects of computational linguistics: second international conference, LACL '97, Nancy, France, September 22-24, 1997 : selected papers

There are no comments on this title.

to post a comment.