Calculus, Multiplicities and the calculus

Bibliographic Details
Corporate Author:	Institut National de Recherche en Informatique et en Automatique
Other Authors:	Boudol, Gerard, Laneve, Cosimo
Format:	Book
Language:	English
Published:	1995
Subjects:	Functional and concurrent languages Lambda-calculus Semantics

Holdings details from Stanford University
Call Number:	133326

Similar Items