Rongo Univesity Library catalog › Details for: Twenty-five years of constructive type theory

Normal view MARC view ISBD view

Twenty-five years of constructive type theory

Additional authors: Sambin, Giovanni. | Smith, Jan M. | ebrary, Inc.

Series: Oxford logic guides ; . 36 | Oxford science publications Published by : Clarendon Press ; | Oxford University Press, (Oxford : | New York :) Physical details: vii, 283 p.

Subject(s): Type theory -- Congresses. | Logic, Symbolic and mathematical -- Congresses. | Electronic books.

Year: 1998

Online resources:

http://site.ebrary.com/lib/rucke/Doc?id=10464228
- An electronic book accessible through the World Wide Web; click to view

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

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 2 )
Comments ( 0 )

No physical items for this record

Includes bibliographical references.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2011. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.