Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 / [electronic resource] :
25 years of constructive type theory
edited by Giovanni Sambin and Jan M. Smith.
- Oxford : New York : Clarendon Press ; Oxford University Press, 1998.
- vii, 283 p.
- Oxford logic guides ; 36 Oxford science publications .
- Oxford logic guides ; 36. Oxford science publications. .
Includes bibliographical references.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2011.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Type theory--Congresses.
Logic, Symbolic and mathematical--Congresses.
Electronic books.
QA9.A1 / T94 1998eb
511.3
Includes bibliographical references.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2011.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Type theory--Congresses.
Logic, Symbolic and mathematical--Congresses.
Electronic books.
QA9.A1 / T94 1998eb
511.3