Logical frameworks /

Bibliographic Details
Corporate Authors:	European Strategic Programme of Research and Development in Information Technology, ESPRIT Basic Research Action 3245
Other Authors:	Huet, Gérard, Plotkin, G. (Gordon), 1946-
Format:	Book
Language:	English
Published:	Cambridge [England] ; New York : Cambridge University Press, 1991.
Subjects:	Logic programming > Congresses. Logic, Symbolic and mathematical > Congresses. Computer science > Congresses.

Remote Storage