Title Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith.

Publication Info.

Online access
Online eBook. Access restricted to current Rider University students, faculty, and staff.
Instructions for reading/downloading this eBook

Item Status

Description	1 online resource (vii, 283 pages).
Physical Medium	polychrome
Description	text file
Series	Oxford logic guides ; 36
	Oxford science publications
	Oxford logic guides ; 36.
	Oxford science publications.
Bibliography	Includes bibliographical references.
Local Note	eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject	Type theory -- Congresses.
	Type theory.
	Constructive mathematics -- Congresses.
	Constructive mathematics.
Genre/Form	Electronic books.
	Conference papers and proceedings.
	Venedig (1995)
	Conference papers and proceedings.
Added Author	Sambin, Giovanni.
	Smith, Jan M.
Added Title	25 years of constructive type theory
Other Form:	Print version: Twenty-five years of constructive type theory. Oxford : Clarendon Press ; New York : Oxford University Press, 1998 0198501277 (DLC) 98029962 (OCoLC)39368504
ISBN	9780191589034 (electronic book)
	0191589039 (electronic book)
	0198501227
	0198501277
	9780198501275