Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / / edited by Giovanni Sambin and Jan M. Smith.
Saved in:
Superior document: | Oxford logic guides ; 36 |
---|---|
: | |
TeilnehmendeR: | |
Year of Publication: | 1998 |
Language: | English |
Series: | Oxford logic guides ;
36. Oxford science publications. |
Online Access: | |
Physical Description: | vii, 283 p. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Similar Items
-
The theory of logical types / by Irving M. Copi.
by: Copi, Irving M.
Published: (1971.) -
Lambda calculus with types / Henk Barendregt, Wil Dekkers, Richard Statman.
by: Barendregt, Henk.
Published: (c2013.) -
Logic and computation : : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / / Wilfried Sieg, editor.
Published: ([1990]) -
Proportionate-type normalized least mean square algorithms / Kevin Wagner, Milos Doroslovacki.
by: Wagner, Kevin.
Published: (c2013.) -
Logic and combinatorics : : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / / Stephen G. Simpson, editor.
Published: ([1987])